Applied Scientist, Automated Reasoning
Core
Develop and apply formal methods, automated reasoning, and neurosymbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services and customer applications.
Role type
Senior IC Applied Scientist (Automated Reasoning)
Builds
Production-grade automated reasoning systems, verification tools, and formal guarantees for generative AI and autonomous software agents.
Domain
Cloud infrastructure, AI safety, cryptographic assurance, formal verification
Deliverable
production ML models | production ML models
Required skills
Mathematical logic, formal verification, satisfiability solving (SAT/SMT), mechanical theorem proving, model checking, program analysis, algorithm design, research publication
Preferred skills
Professional software development, proof assistants (Lean, Dafny, Isabelle, Rocq), functional programming (OCaml, Haskell, Rust, Scala, Kotlin)
Technologies
Lean, Dafny, Isabelle, Rocq, OCaml, Haskell, Rust, Scala, Kotlin
Responsibilities
Design and implement algorithms for constraint solving, model checking, static analysis, and theorem proving; develop decision procedures and heuristics to improve verification tool scalability; explore generative AI and ML techniques to enhance reasoning capabilities; conduct original research and publish findings; mentor scientists and engineers on formal methods and neurosymbolic techniques.
Seniority
Senior, hands-on IC with research leadership
