Applied Scientist, AWS Automated Reasoning
Core
Developing advanced automated reasoning solutions for AWS to ensure customer trust, privacy, and sovereignty across cloud, devices, retail, and healthcare.
Role type
Senior Applied Scientist (Automated Reasoning)
Builds
Automated reasoning systems and tools for AWS products
Domain
Cloud computing, automated reasoning, formal methods
Deliverable
production ML models | product features
Required skills
Deep domain knowledge in automated reasoning, strategic problem solving, cross-organizational technical influence, mentoring, solution design
Preferred skills
Programming in OCaml, Dafny, Haskell, Lean, Rust, or Scala
Technologies
OCaml, Dafny, Haskell, Lean, Rust, Scala
Responsibilities
Solve large or significantly complex problems requiring deep domain knowledge; own strategic problem solving and lead design/implementation of long-term impact solutions; provide cross-organizational technical influence; develop strategic plans for new solutions; assist in career development of others
Seniority
Senior, hands-on IC with strategic influence
