Applied Scientist: Automated Reasoning & Verification

Amazon; New York (NY); On-site; USD 184,000 - 249,000; Full time

Benefits offered by this job

Health insurance

401(k) matching

Paid time off

RSUs

Job summary

Amazon Development Center U.S., Inc. is seeking applied scientists to advance automated reasoning and formal methods for verifying the correctness, security, and reliability of Amazon/AWS systems.

You will work on the cutting edge of constraint solving, model checking, and neuro-symbolic approaches, applying them to cloud infrastructure and AI safety contexts. Responsibilities span designing scalable verification tools, solving complex problems, and mentoring others in formal methods.

Qualifications

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

Responsibilities

• Design and implement algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program synthesis to verify correctness, security, and reliability.
• Solve large or complex problems that require deep knowledge and scientific innovation; own design, implementation, and delivery of solutions with long-term impact.
• Develop new decision procedures, heuristics, and search strategies to improve scalability and verification tools; deploy production-grade systems at scale.
• Explore generative AI and ML techniques to enhance automated reasoning, including learning-based heuristics for search and neural approaches to symbolic reasoning.
• Mentor scientists and engineers on formal methods and best practices for reliable automated reasoning systems; support career development.

Skills

Formal verification

SAT/SMT

Model checking

Theorem proving

Program analysis

Neurosymbolic methods

Education

PhD or equivalent research experience

Tools

Lean

Dafny

Isabelle

Rocq

Job description

Amazon Development Center U.S., Inc. is seeking applied scientists to advance automated reasoning and formal methods for verifying the correctness, security, and reliability of Amazon/AWS systems.

You will work on the cutting edge of constraint solving, model checking, and neuro-symbolic approaches, applying them to cloud infrastructure and AI safety contexts. Responsibilities span designing scalable verification tools, solving complex problems, and mentoring others in formal methods.