Principal Applied Scientist, Automated Reasoning Group
Core
Solving large, complex problems in automated reasoning, privacy, and sovereignty to make AWS the best computing service for rigorous solutions.
Role type
Principal Applied Scientist (Automated Reasoning)
Builds
Advanced automated reasoning solutions for AWS customers
Domain
Cloud computing, automated reasoning, security, privacy, and sovereignty
Deliverable
production ML models | product features
Required skills
PhD in CS/Mathematics, professional software development, programming in O'Caml/Dafny/Haskell/Kotlin/Lean/Rust/Scala, strategic problem solving, cross-organizational technical influence, mentoring
Preferred skills
Deep understanding of security/privacy/sovereignty science, distilling informal requirements into problem definitions, leading scientists or science teams (6+ years)
Technologies
O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Responsibilities
Design, implement, and deliver solutions with long-term quantifiable impact; develop strategic plans for fundamentally new solutions; assist in career development of others
Seniority
Principal, strategy & mentorship