Applied Scientist: Automated Reasoning & Formal Verification

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

Benefits offered by this job

Health insurance

RSUs

Sign-on bonus

401(k) matching

Job summary

Amazon Applied Scientists in AWS Automated Reasoning work on bleeding-edge formal methods, automated reasoning, and neurosymbolic approaches to ensure the security and reliability of Amazon/AWS services.

They tackle verification for cloud infrastructure, cryptographic assurance, AI safety, drone safety, and formal guarantees for generative AI systems, shaping technology and business impact at scale.

Qualifications

• PhD or equivalent research experience.
• Experience in mathematical logic, formal verification, SAT/SMT, theorem proving, model checking, or program analysis.

Responsibilities

• Design and implement algorithms and formal methods for automated reasoning and verification of computing systems.
• Solve complex problems with long-term impact and lead design, implementation, and delivery.
• Develop new decision procedures and search strategies to improve verification tools and scalability.
• Apply generative AI and ML techniques to enhance automated reasoning and verify AI-generated code.
• Develop automated reasoning techniques for neuro-symbolic approaches and safe autonomous software agents.
• Conduct original research and publish findings in peer-reviewed venues.
• Collaborate with customer teams to translate verification capabilities into production systems.
• Mentor scientists and engineers in formal methods and best practices.

Skills

mathematical logic

formal verification

satisfiability solving

theorem proving

model checking

program analysis

Education

PhD or equivalent

Tools

Lean

Dafny

Isabelle

Rocq

OCaml

Haskell

Rust

Scala

Kotlin

Job description

Amazon Applied Scientists in AWS Automated Reasoning work on bleeding-edge formal methods, automated reasoning, and neurosymbolic approaches to ensure the security and reliability of Amazon/AWS services.

They tackle verification for cloud infrastructure, cryptographic assurance, AI safety, drone safety, and formal guarantees for generative AI systems, shaping technology and business impact at scale.