Sr Applied Scientist, Amazon Cryptographic Libraries

What you’d do

Develop and maintain machine-checked proofs of correctness for cryptographic implementations in AWS-LC, using formal methods and provers like HOL-Light, Verus and CBMC. Also contribute to implementing and optimizing cryptographic algorithms, including post-quantum ones, for production use. Found on the employer's careers page on Sep 30, 2026. Apply through the link.

You’ll need

• PhD or equivalent research experience
• Experience programming in Rust, Java, C, C++, or Python
• Formal verification using HOL-Light, Verus, or CBMC
• Cryptographic algorithm implementation experience