Applied Scientist, Automated Reasoning & Formal Methods

Amazon Web Services (AWS); 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

Parental leave

RSUs

Sign-on bonus

Job summary

Amazon Development Center U.S., Inc. seeks Applied Scientists to advance automated reasoning for AWS services. You will develop formal methods, constraint solving, model checking, and theorem proving to verify security, reliability, and correctness of cloud systems.

Join a fast-moving team applying neurosymbolic techniques and generative AI to challenging problems across cloud infrastructure, cryptographic assurance, and AI safety, shaping products and customer experiences at scale.

Qualifications

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

Responsibilities

• Design and implement algorithms and formal methods for automated reasoning to verify correctness, security, and reliability of computing systems.
• Tackle complex problems, own strategic problem solving, and lead design, implementation and delivery with long-term impact.
• Develop new decision procedures, heuristics, and search strategies to improve verification tools at scale.
• Apply generative AI and machine learning techniques to enhance automated reasoning capabilities and verify AI-generated code.
• Develop techniques for safety and alignment of autonomous software agents and formal guarantees to large language model outputs.
• Conduct original research and publish findings in peer-reviewed venues.

Skills

PhD or equivalent research experience

Formal verification

Education

PhD in a relevant field

Job description

Amazon Development Center U.S., Inc. seeks Applied Scientists to advance automated reasoning for AWS services. You will develop formal methods, constraint solving, model checking, and theorem proving to verify security, reliability, and correctness of cloud systems.

Join a fast-moving team applying neurosymbolic techniques and generative AI to challenging problems across cloud infrastructure, cryptographic assurance, and AI safety, shaping products and customer experiences at scale.