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

Job Description

The Amazon Cryptographic Libraries team is hiring an Applied Scientist whose main job is formal verification: building machine-checked proofs that the cryptographic code in AWS-LC, Amazon’s FIPS-validated open-source library, is correct. You will also work on algorithm implementation, assembly-level optimisation and the adoption of post-quantum cryptography across AWS. Amazon describes it as a role where an early-career scientist gets close mentorship and immediate production-scale impact.

At a glance

• Role: Applied Scientist (job ID 10524924)
• 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, with senior scientists
• Specify low-level cryptographic code (C, assembly) formally and verify it with interactive theorem provers such as HOL Light or Isabelle/HOL
• Apply formal methods, program analysis and rigorous testing to a security-critical, widely deployed codebase
• Contribute to algorithm implementation, assembly optimisation and post-quantum cryptography adoption

What Amazon is looking for

• A PhD, or equivalent research experience
• Experience in mathematical logic, formal verification, SAT/SMT solving, mechanical theorem proving, model checking or program analysis

Nice to have

• Hands-on use of an interactive theorem prover (HOL Light, Isabelle/HOL, Lean, Coq or Verus)
• Specifying or verifying low-level software
• Familiarity with cryptographic primitives and their implementation
• C, Rust or assembly programming
• Familiarity with post-quantum cryptography (lattice-, code- or hash-based schemes)

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.