jobs

Applied Scientist, Automated Reasoning

Applied Scientists in AWS Automated Reasoning develop and apply bleeding-edge formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability, and correctness of Amazon/AWS services and custo

Company

Amazon

Location

Santa Clara, California, USA

Status

Closed

Posted

2026-08-31T00:00:00+00:00

Amazon's AWS Automated Reasoning group in Santa Clara hires an Applied Scientist to build formal-methods and neurosymbolic tools that check the correctness, security and reliability of Amazon and AWS software. Work spans constraint solving, model checking, static analysis, theorem proving and program synthesis, plus applying machine learning to search and to verifying AI-generated code. The posting requires a PhD or equivalent research experience in logic, SAT/SMT, verification or program analysis, and expects peer-reviewed publication. Preferred: production software experience, proof assistants such as Lean or Dafny, and functional languages.