Applied Scientist — Automated Reasoning & Formal Methods

Amazon Web Services (AWS); Washington (District of Columbia); On-site; USD 167,000 - 226,000; Full time

Job summary

Amazon Development Center U.S., Inc. in Washington, DC seeks an Applied Scientist to advance automated reasoning, formal verification, and neurosymbolic techniques across AWS services.

You will design algorithms, tackle complex verification challenges, and drive scalable tools that improve security and correctness of customer systems. You will explore generative AI approaches, collaborate with cross‑functional teams, and publish research findings while mentoring others in formal methods and

Qualifications

• PhD or equivalent research experience.
• Experience in mathematical logic, formal verification, SAT/SMT, theorem proving, model checking, or program analysis.
• Experience with proof assistants or verification languages such as Lean, Dafny, Isabelle, or Rocq.
• Experience programming in OCaml, Haskell, Rust, Scala, Kotlin, or related languages.

Responsibilities

• Design and implement algorithms and formal methods for automated reasoning to verify computing systems.
• Tackle complex problems, own design and delivery of solutions with long‑term impact.
• Develop new decision procedures and search strategies for scalable verification tools.
• Build production‑grade automated reasoning systems at Amazon scale.
• Explore generative AI and ML techniques to enhance automated reasoning.
• Develop reasoning techniques for generative AI and autonomous coding systems for safety.
• Conduct original research and publish findings.
• Collaborate with customer teams to address verification needs with new tools.
• Mentor scientists on formal methods and best practices.

Skills

Mathematical logic

Formal verification

Satisfiability solving (SAT/SMT)

Theorem proving

Model checking

Program analysis

Neurosymbolic methods

Education

PhD or equivalent research experience

Tools

Lean

Dafny

Isabelle

Rocq

OCaml

Haskell

Rust

Scala

Kotlin

Job description

Amazon Development Center U.S., Inc. in Washington, DC seeks an Applied Scientist to advance automated reasoning, formal verification, and neurosymbolic techniques across AWS services.

You will design algorithms, tackle complex verification challenges, and drive scalable tools that improve security and correctness of customer systems. You will explore generative AI approaches, collaborate with cross‑functional teams, and publish research findings while mentoring others in formal methods and