Senior Applied Scientist: Cryptography & Verification

06 set - Asti
Amazon

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

Invia Messaggio

Part-time SDR

07 set - Prato
mYngle

Manutentore Elettrico Junior — Avvia la tua crescita tecnica

07 set - Romano di Lombardia
Gi Group SpA Filiale di Vimercate

Ricevi nuove offerte di lavoro

Crea una Job Alert gratuita per senior applied scientist: cryptography & verification / asti

Consulente previdenziale,assicurativo e finanziario

07 set - Cuneo
Alleanza Assicurazioni S. P. A.

Responsabile reparto Pescheria

07 set - Roma
Manpower

Passa alla versione classica