Sr. Applied Scientist, AWS Identity

Job Overview

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 using software development tools and methodologies.

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 acquired knowledge to build tools that find problems or demonstrate the absence of security/safety problems.
• Implement these tools using SAT, SMT, BDDs, and concepts from programming languages, theorem proving, formal verification, and constraint solving.
• Perform analysis of customer systems using tools developed in-house or externally provided.
• Create software prototypes to verify and validate proposed solutions, integrating prototypes into production systems with standard development tools and methodologies.

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

You will work on cutting-edge technology related to formal methods, automated reasoning, automated testing, and adjacent areas. You will collaborate with applied scientists to solve challenging problems that deliver value to customers by improving software quality, and you will have opportunities to publish your work.

The Automated Reasoning in Identity (ARI) team is expanding rapidly. It applies automated reasoning techniques to services within AWS's Identity organization, building on initial successes from the Zelkova and Access Analyzer projects. The reach of AR within Identity is growing, with more scientists joining all the time.

• 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 offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and optional Supplemental life plans), Employee Assistance Program, mental health support, medical advice line, flexible spending accounts, adoption and surrogacy reimbursement coverage, 401(k) matching, paid time off, and parental leave. Your package will also include sign‑on payments and restricted stock units (RSUs). Final compensation will be determined based on experience, qualifications, and location.

Base salary range: USA, VA, Arlington – $ – $ USD annually.

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, please review the accommodations policy at (Use the "Apply for this Job" box below).

for more information.