Applied Scientist, AWS Science of Security
Core
Design, implement, and deliver advanced security solutions for AWS customers requiring rigorous security, privacy, and sovereignty.
Role type
Applied Scientist (Security)
Builds
New security solutions and technologies for AWS cloud services
Domain
Cloud Security / Formal Methods / Program Analysis
Deliverable
production ML models | product features
Required skills
Deep domain knowledge in SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, program analysis
Preferred skills
Professional software development experience, programming in O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, or Scala
Technologies
SAT, SMT, O'Caml, Dafny, Haskell, Kotlin, Lean, Rust, Scala
Responsibilities
Solve large or significantly complex security problems; Own the design, implementation, and delivery of solutions with long-term quantifiable impact; Provide cross-organizational technical influence; Develop fundamentally new solutions for business problems
Seniority
Senior, hands-on IC
