Applied Scientist, Automated Reasoning & Verification

Amazon Web Services (AWS); Santa Clara (CA); On-site; USD 172,000 - 222,000; Full time

Job summary

Amazon Development Center U.S., Inc. in Santa Clara, California seeks Applied Scientists to advance automated reasoning for verifying the correctness, security, and reliability of AWS services.

The role spans constraint solving, model checking, theorem proving, and neuro-symbolic approaches, with opportunities to publish and collaborate across teams. You will design algorithms, develop production-grade reasoning systems at scale, and explore AI/ML enhancements while mentoring others in formal

Qualifications

• PhD or equivalent research experience.
• Experience in logic, formal verification, or model checking.
• Experience with peer-reviewed publications is a plus.

Responsibilities

• Design and implement algorithms and formal methods for automated reasoning.
• Lead design, implementation, and delivery of scalable verification solutions.
• Explore generative AI and machine learning to enhance reasoning capabilities.
• Mentor scientists and engineers in formal methods and neurosymbolic techniques.
• Publish findings in peer‑reviewed venues.

Skills

Math logic

Formal verification

SAT/SMT

Theorem proving

Model checking

Program analysis

Education

PhD or equivalent

Tools

Lean

Dafny

Isabelle

Rocq

Job description

Amazon Development Center U.S., Inc. in Santa Clara, California seeks Applied Scientists to advance automated reasoning for verifying the correctness, security, and reliability of AWS services.

The role spans constraint solving, model checking, theorem proving, and neuro-symbolic approaches, with opportunities to publish and collaborate across teams. You will design algorithms, develop production-grade reasoning systems at scale, and explore AI/ML enhancements while mentoring others in formal