Applied Scientist, Amazon Cryptographic Libraries

What you’d do

Develop and maintain machine-checked proofs of correctness for cryptographic implementations in AWS-LC, specifying low-level C and assembly code in formal notation and verifying it with interactive theorem provers. Full-time role in Seattle, collaborating with SDEs and security engineers on FIPS-validated, production-grade software. Found on the employer's careers page on Sep 30, 2026. Apply through the link.

You’ll need

• PhD or equivalent research experience
• Experience in formal verification, mathematical logic, SAT/SMT, or model checking
• Hands-on experience with an interactive theorem prover (HOL Light, Isabelle/HOL, Lean, Coq, or Verus
• Full-time in Seattle, Washington