Applied Scientist: Cryptographic Proofs & Post-Quantum

Amazon is seeking an Applied Scientist to advance cryptographic libraries used by AWS services and open-source projects. The role centers on building machine-checked proofs for cryptographic implementations, with additional work in algorithm implementation, assembly optimization, and post-quantum cryptography. The position emphasizes mentorship for early-career scientists and production-scale impact from day one, with collaboration across software and security teams to deliver FIPS-validated #J-18808-Ljbffr