Amazon Applied Scientist II Automated Reasoning Identity 

United States, Minnesota, Minneapolis 

703478793

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.
Diverse Experiences
AWS values diverse experiences. Even if you do not meet all of the preferred qualifications and skills listed in the job description, we encourage candidates to apply. If your career is just starting, hasn’t followed a traditional path, or includes alternative experiences, don’t let it stop you from applying.Mentorship & Career Growth
We’re continuously raising our performance bar as we strive to become Earth’s Best Employer. That’s why you’ll find endless knowledge-sharing, mentorship and other career-advancing resources here to help you develop into a better-rounded professional.Work/Life Balance
Utility Computing (UC)

- 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