Principal Applied Scientist, Automated Reasoning

Amazon • Seattle, WA

7d

About The Position

We are seeking a Principal Applied Scientist to lead research and development in automated reasoning, formal verification, and program analysis. You will drive innovation in making formal methods practical and accessible for real-world systems at cloud scale. The Automated Reasoning Group at AWS develops and applies cutting-edge formal methods and automated reasoning techniques to ensure the security, reliability, and correctness of AWS services and customer applications. Our work innovates tools and services to perform verification at scale and apply them to build safe and secure systems at AWS. We are also pioneering the use of formal verification and automated reasoning to develop agentic systems, ensuring AI agents operate within defined safety boundaries.

Requirements

• MS or Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field.
• Industrial/academic experience in formal verification, and theorem proving.
• Experience with program analysis, program verification or synthesis.
• Experience with programming languages such as Rust, C, C++, Java, Dafny, OCaml or Haskell, and open source technologies.
• Experience in design and analysis of algorithms and data structures.
• 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
• Exceptional customer relationship skills including the ability to discover the true requirements underlying feature requests, recommend alternative technical and business approaches, and lead engineering efforts
• 5+ years of professional software engineering practices for the full software development life cycle, including coding standards, code reviews, source control management, build processes, testing, and operations

Nice To Haves

• Ph.D. degree in Electrical Engineering, Computer Science, Mathematics, or related technical field
• Demonstrated track record of project delivery for large, cross-functional projects with evolving requirements
• Familiarity with machine learning and generative AI techniques

Responsibilities

• Lead research initiatives in automated reasoning, formal verification, SMT solving, model checking, or program analysis
• Design and implement novel algorithms and techniques that advance the state of the art
• Mentor and guide applied scientists, research scientists, and engineers
• Collaborate with product teams to transition research into production systems
• Define technical vision and strategy for automated reasoning initiatives
• Represent AWS in the academic and research community
• Drive cross-organizational impact through technical leadership

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
• parental leave

What This Job Offers

• Job Type: Full-time
• Career Level: Principal
• Education Level: Ph.D. or professional degree