International Association
for Cryptologic Research

The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a growing open-source community depend on, including AWS-LC, our FIPS-validated open-source libcrypto. As an Applied Scientist on the team, your primary focus will be formal verification: building machine-checked proofs that cryptographic implementations are correct. You will also contribute to algorithm implementation, assembly-level optimization, and the adoption of post-quantum cryptography (ML-KEM, ML-DSA, SLH-DSA). You will work alongside researchers, scientists and partner with Amazon's Automated Reasoning Group, building deep expertise in an environment where your proofs and code ship across AWS.

See link for application.