Applied Scientist: Formal Crypto Verification & Production

Amazon Web Services’ ACL team seeks an Applied Scientist to advance formal verification of cryptographic code for AWS-LC. You will build machine-checked proofs and help bring post-quantum techniques into production across AWS services. This role blends rigorous research with real-world impact, mentoring early-career scientists and delivering verified software that meets FIPS validation across the AWS ecosystem.