Are you passionate about applying formal verification, program analysis, constraint-solving, and theorem proving to real world problems? Do you want to create products that help customers? If so, then we have an exciting opportunity for you. In this role, you will interact with internal teams and external customers to understand their requirements. You will apply your knowledge to propose innovative solutions, create software prototypes, and productize prototypes into production systems using software development tools and methodologies. In addition, you will support and scale your solutions to meet the ever growing demand of customer use.

Technical Responsibilities:
- Interact with various teams to develop an understanding of their security and safety requirements.
- Apply the acquired knowledge to build provably correct and performant software to address identified needs.
- Perform analysis of the customer systems using tools developed in-house or externally provided.
- Create software prototypes to verify and validate the devised solutions methodologies; integrate the prototypes into production systems using standard software development tools and methodologies.

Leadership Responsibilities:
- Can present and defend company-wide technical decisions to the internal technical community and represent the company effectively at technical conferences.
- Functional thought leader, sought after for key tech decisions. Can successfully sell ideas to an executive level decision maker.
- Mentors and trains the research scientist community on complex technical issues.

- Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field
- At least 7+ years of industrial/academic experience in formal verification, program analysis, constraint-solving, and theorem proving
- At least 7+ years of experience with programming languages such as Java, Scala, C/C++, Ruby, or Python and open-source technologies


- Experience defining and leading a science agenda for ambiguous problems
- Ability to work with teams at the interface of automated reasoning and service teams
- 10+ years of experience applying techniques in your field to solve complex problems
- Ability to establish and manage external partnerships
- Broad familiarity with different areas of the automated reasoning


Amazon is committed to a diverse and inclusive workplace. Amazon is an equal opportunity employer and does not discriminate on the basis of race, national origin, gender, gender identity, sexual orientation, protected veteran status, disability, age, or other legally protected status. For individuals with disabilities who would like to request an accommodation, please visit Angeles County applicants: Job duties for this position include: work safely and cooperatively with other employees, supervisors, and staff; adhere to standards of excellence despite stressful conditions; communicate effectively and respectfully with employees, supervisors, and staff to ensure exceptional customer service; and follow all federal, state, and local laws and Company policies. Criminal history may have a direct, adverse, and negative relationship with some of the material job duties of this position. These include the duties and responsibilities listed above, as well as the abilities to adhere to company policies, exercise sound judgment, effectively manage stress and work safely and respectfully with others, exhibit trustworthiness and professionalism, and safeguard business operations and the Company’s reputation. Pursuant to the Los Angeles County Fair Chance Ordinance, we will consider for employment qualified applicants with arrest and conviction records.

Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $179,000/year in our lowest geographic market up to $309,400/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on job-related knowledge, skills, and experience. Amazon is a total compensation company. Dependent on the position offered, equity, sign-on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits. For more information, please visit This position will remain posted until filled. Applicants should apply via our internal or external career site.