Senior Applied Scientist: Cryptography & Verification

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

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

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