Amazon
Sr Applied Scientist, Amazon Cryptographic Libraries
$167K–$226K
Seattle, WA · Senior · Full-time · Posted Sep 1, 2026
- Experience
- No specific number of years stated.
- Education
- PhD or equivalent research experience, or a PhD and experience in patents or publications at top-tier peer-reviewed conferences or journals.
About the job
Develops machine-checked proofs of correctness for cryptographic implementations in AWS-LC, while contributing to algorithm implementation, optimization, and post-quantum cryptography.
What you'll do
- Develop and maintain machine-checked proofs and formal specifications for cryptographic code.
- Apply formal methods, program analysis, and testing to improve assurance in AWS-LC; contribute to cryptographic algorithm implementation and optimization.
- Mentor others and publish or present research, including patents and peer-reviewed articles.
What they ask for
- PhD or equivalent research experience, or a PhD and experience in patents or publications at top-tier peer-reviewed conferences or journals.
- Programming experience in Rust, Java, C, C++, Python, or a related language.
- Experience in formal verification, interactive theorem proving, deductive verification, cryptography, or mathematical logic.
Nice to have
- Hands-on experience with program verification tools such as HOL Light, CBMC, Verus, or Lean.
- Experience specifying or verifying low-level software; familiarity with cryptographic primitives, systems programming, or post-quantum cryptography.
Pay
167,100.00 - 226,100.00 USD annually (base salary)
Tools
Rust, Java, C, C++, Python, HOL-Light, Verus, CBMC
AI focus
Uses state-of-the-art AI models to assist with developing machine-checked proofs; implements and optimizes post-quantum cryptographic algorithms.
Model-written summary · the original posting is authoritative