Applied Scientist, AWS Science of Security, AWS Provable Security
Core
Design, develop, evaluate, and deploy automated reasoning solutions to verify the correctness, security, and reliability of software systems.
Role type
Applied Scientist (Automated Reasoning & Verification)
Builds
Automated reasoning tools and verification frameworks
Domain
Cloud Security / Formal Methods
Deliverable
production ML models
Required skills
Automated reasoning, constraint solving, model checking, static analysis, theorem proving, program analysis, SAT/SMT solving, symbolic simulation, type systems
Preferred skills
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Technologies
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Responsibilities
Solve significantly complex problems requiring deep domain knowledge and scientific innovation; Own the design, implementation, and delivery of solutions with long-term quantifiable impact; Provide cross-organizational technical influence; Develop fundamentally new solutions for challenging business problems