Sr Applied Scientist, Amazon Cryptographic Libraries

What you’d do

Develop and maintain machine-checked proofs of correctness for cryptographic implementations in AWS-LC, verifying low-level Rust, C, and assembly code with tools like HOL-Light, Verus, and CBMC. Also contribute to cryptographic and post-quantum algorithm implementation and optimization. Full-time. Found on the employer's careers page on Sep 30, 2026. Apply through the link.

You’ll need

• PhD or equivalent research experience
• Formal verification, mathematical logic, or SAT/SMT background
• Hands-on experience with HOL Light, CBMC, Verus, or Lean
• Experience with Rust, C, or assembly
• Cryptographic algorithm implementation experience