Sr Applied Scientist, Amazon Cryptographic Libraries
Core
Building machine-checked proofs to ensure the correctness of cryptographic implementations for AWS services and open-source libraries.
Role type
Senior Applied Scientist (Formal Verification & Cryptography)
Builds
FIPS-validated cryptographic libraries (AWS-LC) and post-quantum cryptography algorithms
Domain
Cybersecurity, Cryptography, Formal Methods
Deliverable
production ML models | product features | infrastructure
Required skills
Mathematical logic, formal verification, satisfiability solving (SAT/SMT), mechanical theorem proving, model checking, program analysis
Preferred skills
Interactive program verification tools (HOL Light, CBMC, Verus, Lean), low-level software specification, cryptographic primitives, systems programming (Rust, C, assembly), post-quantum cryptography
Technologies
HOL-Light, Verus, CBMC, Rust, C, assembly, AWS-LC
Responsibilities
Develop and maintain machine-checked proofs of correctness for cryptographic implementations; Specify functional behavior of low-level code in formal notation; Apply formal methods and rigorous testing to security-critical codebases; Contribute to implementation and optimization of cryptographic algorithms including post-quantum schemes; Publish patents and peer-reviewed articles; Mentor individuals and the community on advanced technical issues
Seniority
Senior, hands-on IC with mentorship responsibilities
