Applied Scientist: Cryptography & Formal Verification
Listed on 2026-10-07
-
IT/Tech
AI Engineer (Applied/Software), Data Scientist, Machine Learning/ ML Engineer
Amazon Science is seeking an Applied Scientist to advance formal verification for cryptographic implementations in AWS-LC and related open-source projects. You will work with senior scientists to build machine-checked proofs, specify low-level behavior, and optimize algorithms for production use.
In this early-career role, you will gain mentorship and have immediate production-scale impact across AWS services, with opportunities to publish and contribute to open-source cryptography projects.
The Applied Scientist:
Cryptography & Formal Verification role at Amazon Science is now open for applications in Seattle, WA, United States.
For the Applied Scientist:
Cryptography & Formal Verification position at Amazon Science, we are reviewing applications now.
Step into the Applied Scientist:
Cryptography & Formal Verification role at Amazon Science in Seattle, WA, United States and grow with us.
Please review the full job details above before applying.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).