Amazon Science seeks an Applied Scientist to focus on formal verification and cryptographic algorithm implementation. You will develop machine-checked proofs for cryptographic code and collaborate with senior scientists to produce production-grade, FIPS-validated software across AWS services and open-source projects.
The role combines rigorous verification work with practical implementation, including post-quantum constructions, and offers mentorship and direct impact across a broad set of
#J-18808-LjbffrApplied Scientist: Cryptography & Formal Verification in seattle at Unknown Company
This position is listed as full time and onsite.