Sr. Applied Scientist, AWS Identity

Job Summary

Are you passionate about programming languages, applying formal verification, program analysis, constraint‑solving, and/or theorem proving to real world problems? Do you want to create products that help customers? In this role you will interact with internal teams and external customers to understand their requirements, propose innovative solutions, create software prototypes, and productize prototypes into production systems. You will also support and scale your solutions to meet the growing demand of customer use.

• Interact with various teams to develop an understanding of their security and safety requirements.
• Apply the acquired knowledge to build tools to find problems or show absence of security/safety problems.
• Implement these tools through the use of SAT, SMT and other concepts from programming languages, theorem proving, formal verification and constraint solving.
• Perform analysis of the customer systems using tools developed in‑house or externally provided.
• Create software prototypes to verify and validate devised solutions and integrate them into production systems using standard software development tools and methodologies.

• Present and defend company‑wide technical decisions to the internal technical community and represent the company effectively at technical conferences.
• Act as a functional thought leader, sought after for key technical decisions and able to sell ideas to executive‑level decision makers.
• Mentor and train the research scientist community on complex technical issues.

The Automated Reasoning in Identity (ARI) team is growing fast, working on applying automated reasoning techniques to services within AWS’s Identity organization and building on initial successes of the Zelkova and Access Analyzer projects.

• PhD, or Master’s degree and 6+ years of applied research experience.
• Experience programming in Java, C++, Python or a related language.
• Experience in algorithms and data structures, parsing, numerical optimization, data mining, parallel and distributed computing, or high‑performance computing.
• Experience with patents or publications at top‑tier peer‑reviewed conferences or journals.

• 5+ years of industry or academic research experience.
• Experience in professional software development.

Amazon is an equal‑opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. If you need a workplace accommodation or adjustment during the application and hiring process, please visit (Use the "Apply for this Job" box below)..

Base salary range:  –  USD annually (USA, VA, Arlington). The total package includes sign‑on payments and restricted stock units (RSUs). Benefits include health, dental, vision, prescription coverage, life insurance, a 401(k) matching program, paid time off, and parental leave.