Senior Applied Scientist, Amazon Cryptographic Libraries (Formal Verification and Post-Quantum Cryptography), Seattle

Job Description

Amazon’s Cryptographic Libraries team is also hiring a Senior Applied Scientist focused on formal verification of AWS-LC, its FIPS-validated open-source cryptographic library. The role builds machine-checked proofs for Rust, C and assembly code using both automatic and interactive provers, and contributes to implementing and optimising algorithms, including the post-quantum cryptography that AWS is rolling out to protect data against future quantum computers.

At a glance

• Role: Sr. Applied Scientist (job ID 10524925)
• Team: Amazon Cryptographic Libraries
• Location: Seattle, Washington
• Degree: PhD or equivalent research experience
• Posted: 1 September 2026
• Apply: open until filled (re-checked 14 October 2026)

What you will do

• Develop and maintain machine-checked proofs of correctness for cryptographic implementations in AWS-LC
• Specify low-level cryptographic code (Rust, C, assembly) formally and verify it with tools such as HOL Light, Verus and CBMC
• Apply formal methods, program analysis and rigorous testing to a security-critical codebase
• Contribute to implementing and optimising cryptographic algorithms, including post-quantum ones

What Amazon is looking for

• A PhD or equivalent research experience, or a PhD with patents or publications at top peer-reviewed venues
• Programming 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 use of verification tools such as HOL Light, CBMC, Verus or Lean
• Specifying or verifying machine code or assembly
• Familiarity with cryptographic primitives and implementations
• Systems programming in Rust, C or assembly
• Familiarity with post-quantum cryptography

Pay and location

Amazon’s posting states that a base salary range applies and that packages include sign-on payments and restricted stock units; the figure is shown on the official posting. The role is based in Seattle.

How to apply

Apply through the official Amazon job posting. Amazon’s posting does not give a closing date, so the role is open until filled; ResearchJobs.in will re-check this listing on 14 October 2026. Check the posting for location and work-authorisation details before you apply.

See all our quantum technology jobs, or browse more research jobs on ResearchJobs.in.