← All roles

Sr. Applied Scientist, Automated Reasoning in Identity

Amazon· Applied Science
Apply on company site
Santa Clara, CA$192.2k - $260kfull-timePosted 1w ago

About the role

Senior applied scientist role focused on automated reasoning, formal verification, and related areas to build production tools and prototypes for AWS Identity services. Involves interacting with internal teams and customers, prototyping, productizing solutions, mentoring, and presenting technical decisions.

Responsibilities

  • Interact with various teams to develop an understanding of their security and safety requirements.
  • Apply the acquired knowledge to build tools find problems, or show the absence of security/safety problems.
  • Implement these tools through the use of SAT, SMT, BDDs, and various 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 the devised solutions methodologies; integrate the prototypes into production systems using standard software development tools and methodologies.
  • Can present and defend company-wide technical decisions to the internal technical community and represent the company effectively at technical conferences.
  • Functional thought leader, sought after for key tech decisions. Can successfully sell ideas to an executive level decision maker.
  • Mentors and trains the research scientist community on complex technical issues.

Qualifications

  • PhD or equivalent research experience
  • Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical theorem proving, model checking, or program analysis

Skills

Required:PhD or equivalent research experienceFormal verificationSatisfiability solving (SAT/SMT)
Nice to have:Theorem provingModel checkingProgram analysisSoftware developmentFormal methods application

Benefits

  • health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage)
  • 401(k) matching
  • paid time off
  • parential leave
Last updated Oct 25, 2026. Interested? Apply on the company site.

About Amazon

Amazon.com, Inc. or its affiliates

liquid-ai-recruiting-target
Company profileWebsite

More open roles at Amazon