Amazon Principal Applied Scientist Automated Reasoning Identity 

United States, California 

646596631

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)

10+ years of relevant, broad research experience after PhD degree or equivalent. Proficiency in programming for algorithm and code reviews. Strong core competency in building solutions. Track record of successful delivery. Publications at top-tier peer-reviewed conferences or journals. Strong prior experience with mentorship and/or management of senior scientists and engineers.

PhD in Computer Science, Machine Learning, Mathematics, or related quantitative discipline. Expert level skills across many Automated Reasoning, Programming Languages and related disciplines. Experience recruiting high caliber talent. 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.