Amazon
Applied Scientist, Automated Reasoning
$172K–$222K
Santa Clara, CA · Full-time · Posted Aug 31, 2026
- Education
- PhD or equivalent research experience
About the job
Develops formal-methods and automated-reasoning algorithms and production systems to verify software and systems, including applications involving generative AI and autonomous agents.
What you'll do
- Design and implement verification algorithms and scalable automated-reasoning systems.
- Apply machine learning and generative AI techniques to automated reasoning and develop safety and correctness methods for AI-generated code and agentic systems.
- Conduct research, collaborate with customer and partner teams, and mentor scientists and engineers.
What they ask for
- PhD or equivalent research experience.
- Experience in mathematical logic, formal verification, satisfiability solving (e.g., SAT/SMT), mechanical theorem proving, model checking, or program analysis.
Nice to have
- Professional software development experience or experience applying formal methods to real-world software, security, or systems problems.
- Experience with proof assistants or verification languages such as Lean, Dafny, Isabelle, or Rocq; or programming in OCaml, Haskell, Rust, Scala, Kotlin, or a related language.
Pay
171,600.00 - 222,200.00 USD annually (base salary)
Tools
SAT/SMT, Lean, Dafny, Isabelle, Rocq, OCaml, Haskell, Rust
AI focus
Applies generative AI and machine learning to automated reasoning, including neural approaches to symbolic reasoning, verification of AI-generated code, and safety and alignment methods for autonomous agents and large language model outputs.
Model-written summary · the original posting is authoritative