Amazon Applied Scientist II Automated Reasoning Identity 

United States, Minnesota, Minneapolis 

486756940

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.Key job responsibilities
* Interact with various teams to develop an understanding of their security and safety requirements.
* Apply the acquired knowledge to build tools and algorithms, find problems, or show the absence of security/safety problems.
* Implement these capabilities through the use of Automated Reasoning and various concepts from programming languages.
* 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.

- PhD, or Master's degree and 4+ years of CS, CE, ML or related field experience
- Experience programming in Java, C++, Python or related language
- At least 2 years of industrial/academic experience in formal verification, program analysis, constraint-solving, or theorem proving

- PhD in engineering, technology, computer science, machine learning, robotics, operations research, statistics, mathematics or equivalent quantitative field
- Excellent written and verbal technical communication with an ability to present complex technical information in a clear and concise manner to a variety of audiences