Applied Scientist, AWS Science of Security
Core
Develop fundamentally new solutions for security, privacy, and sovereignty challenges using advanced scientific innovation and deep domain knowledge.
Role type
Senior IC applied scientist (formal verification & program analysis)
Builds
Advanced security solutions for AWS cloud services
Domain
Cloud security, formal methods, program analysis
Deliverable
production ML models | product features
Required skills
SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis
Preferred skills
OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Technologies
SAT solvers, SMT solvers, theorem provers, type systems
Responsibilities
Solve large or significantly complex problems requiring deep domain knowledge; Own the design, implementation, and delivery of solutions with long-term quantifiable impact; Provide cross-organizational technical influence by sharing deep knowledge; Develop fundamentally new solutions for business problems
Seniority
Senior, hands-on IC