More jobs:
Applied Scientist: Cryptography Verification & Post-Quantum RSUs
Job in
Seattle, King County, Washington, 98127, USA
Listed on 2026-07-21
Listing for:
PVH (Tommy Hilfiger/Calvin Klein)
Full Time
position Listed on 2026-07-21
Job specializations:
-
IT/Tech
Crypto & DeFi, AI Engineer (Applied/Software)
Job Description & How to Apply Below
Amazon's ACL team seeks an Applied Scientist focused on formal verification of cryptographic implementations. You will build machine‑checked proofs for AWS‑LC, specify behavior in formal notation, and verify with interactive provers, while contributing to post‑quantum crypto and optimization for production systems.
You'll work with senior scientists to ship verified cryptographic software across AWS services, and you'll have mentorship and opportunities to publish or contribute to open‑source
#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:
×