Amazon
Applied Scientist, AWS Science of Security
$143K–$223K
Arlington, VA +3 · Full-time · Posted Aug 28, 2026
- Location
- Arlington, VA
Seattle, WA
New York, NY
Denver, CO - Education
- PhD or equivalent research experience
About the job
Develops scientifically innovative security solutions for AWS customers requiring advanced security, privacy, and sovereignty, from design through delivery.
What you'll do
- Solve complex problems through domain expertise and scientific innovation.
- Design, implement, and deliver solutions with long-term, quantifiable impact.
- Develop new solutions and share technical expertise across organizations.
What they ask for
- PhD or equivalent research experience.
- Experience in at least one of: SAT, SMT, mechanical theorem proving, symbolic simulation, programming language type systems, or program analysis.
Nice to have
- Programming experience in OCaml, Dafny, Haskell, Kotlin, Lean, Rust, Scala, or a related language.
Pay
142,800.00 - 193,200.00 USD annually (base salary); 172,400.00 - 223,400.00 USD annually (base salary)
Tools
SAT, SMT, OCaml, Dafny, Haskell, Kotlin, Lean, Rust
Model-written summary · the original posting is authoritative