Applied Scientist, AWS Automated Reasoning
Core
Solving large, complex problems in automated reasoning, privacy, and sovereignty to make AWS the best computing service for rigorous solutions.
Role type
Applied Scientist (Automated Reasoning)
Builds
Advanced automated reasoning solutions for AWS cloud services
Domain
Cloud computing, automated reasoning, formal methods
Deliverable
production ML models | product features
Required skills
Deep domain knowledge, strategic problem solving, cross-organizational technical influence, solution design, implementation, delivery, mentoring
Preferred skills
Programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Technologies
SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis
Responsibilities
Solve significantly complex problems requiring scientific innovation; lead design, implementation, and delivery of long-term impact solutions; provide technical influence to increase productivity; develop strategic plans for new solutions; mentor individuals and community on advanced technical issues
Seniority
Senior, hands-on IC