More jobs:
Senior Applied Scientist, Cryptographic Proofs & PQC Libs
Job in
Seattle, King County, Washington, 98127, USA
Listed on 2026-09-04
Listing for:
Socket.dev
Full Time
position Listed on 2026-09-04
Job specializations:
-
Research/Development
Data Scientist
Job Description & How to Apply Below
Amazon’s ACL team, which owns AWS-LC, seeks a highly skilled researcher to develop machine-checked proofs of cryptographic correctness. You will write formal specifications, implement proofs in interactive provers, and verify algorithms across production-grade code.
You will work with HOL Light, CBMC, Verus, and Lean to verify low-level cryptographic code and contribute to security-critical software deployed at scale. A PhD or equivalent research experience is required.
#J-18808-LjbffrPosition Requirements
10+ Years
work experience
To 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:
×