Senior Applied Scientist: Cryptography & Verification

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/7x1h0p

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. You will work with senior scientists, contribute to production deployments, and mentor others while publishing research.

The role focuses on formal verification, specification in Rust/C/assembly, and integration with AWS services and open-source cryptography projects.

#J-18808-Ljbffr

Vedi l’offerta su Go Lavoro: golavoro.it/annuncio-lavoro/7x1h0p