Amazon is seeking an Sr Applied Scientist for the ACL team (AWS-LC) to develop machine-checked proofs of cryptographic implementations and optimize algorithms including post-quantum schemes.
Aumenti le sue possibilità di ottenere un colloquio leggendo la seguente panoramica di questo ruolo prima di candidarsi.
You will work with senior scientists, contribute to production deployments, and mentor others while publishing research. xysqume
The role focuses on formal verification, specification in Rust/C/assembly, and integration with AWS services and open-source cryptography projects.
#J-18808-Ljbffr
📌 Senior Applied Scientist: Cryptography & Verification (Asti)
🏢 Amazon
📍 Asti