jobs

Sr Applied Scientist, Amazon Cryptographic Libraries

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 cryptographic library. As an Applied Scientist on the tea

Company

Amazon

Location

Seattle, Washington, USA

Status

Closed

Posted

2026-09-01T00:00:00+00:00

Amazon's Cryptographic Libraries team in Seattle is hiring a Senior Applied Scientist, on-site, to work on AWS-LC, its FIPS-validated open-source cryptographic library. The central task is formal verification: machine-checked proofs that low-level cryptographic code in Rust, C and assembly is correct, using HOL-Light, Verus and CBMC. The role also covers algorithm implementation, assembly optimisation and post-quantum schemes. It asks for a PhD or equivalent research experience plus background in formal verification, theorem proving, cryptography or mathematical logic. Proofs, developed with AI-model help, back code across nearly every AWS service.