Amazon Principal Applied Scientist Automated Reasoning Identity 

United States, California 

106467690

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.- 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:- Functional thought leader, sought after for key tech decisions. Can successfully sell ideas to an executive level decision maker.

- 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