Applied Scientist: Formal Crypto Proofs & Production

Amazon is seeking an Applied Scientist to advance formal verification in the ACL project, focusing on machine-checked proofs of cryptographic implementations and their production deployment across AWS services. The role emphasizes collaboration with senior scientists and cross-team partners. You will extend verification to post-quantum constructions, optimize low-level code (C/assembly), and contribute to cryptographic libraries that underpin AWS-LC and ACCP.