More jobs:
Applied Scientist, Cryptography & Formal Verification
Job in
Seattle, King County, Washington, 98127, USA
Listed on 2026-07-26
Listing for:
Amazon
Full Time
position Listed on 2026-07-26
Job specializations:
-
IT/Tech
AI Engineer (Applied/Software)
Job Description & How to Apply Below
Amazon's ACL team is building the cryptographic foundations used by AWS services and open-source projects. As an Applied Scientist, you will develop machine-checked proofs of correctness for cryptographic implementations, work on low-level C/assembly specifications, and verify them using interactive theorem provers.
You will also contribute to post-quantum cryptography in production systems. The role offers mentorship, rapid production impact across AWS services, collaboration with SDEs and
#J-18808-LjbffrTo View & Apply for jobs on this site that accept applications from your location or country, tap the button below to make a Search.
(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).
(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).
Search for further Jobs Here:
×