08 set - Asti
Amazon
Sr Applied Scientist, Amazon Cryptographic Libraries
Non aspetti a candidarsi dopo aver letto questa descrizione: per questa occasione è previsto un elevato volume di candidature.
Job ID: 10524925 | Amazon Development Center U.S., Inc.
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a growing open-source community depend on, including AWS-LC, our FIPS-validated open-source cryptographic library. As an Applied Scientist on the team, your primary focus will be formal verification: building machine-checked proofs that cryptographic implementations are correct. You will also contribute to algorithm implementation, assembly level optimization, and the adoption of post-quantum cryptography. You will work alongside senior scientists on the team, building deep expertise in an environment where your proofs and code ship to effectively every AWS service. This is a role where an early-career scientist gets both rigorous mentorship and immediate production-scale impact.
Key job responsibilities
-
- Develop and maintain machine-checked proofs of correctness for cryptographic implementations in AWS-LC.
- Specify the functional behavior of low-level cryptographic code (Rust, C, assembly) in formal notation and verify it using both automatic and interactive provers, such as HOL-Light, Verus and CBMC.
- Apply formal methods, program analysis, and rigorous testing to raise the assurance bar of a security-critical, widely deployed codebase.
- Contribute to the implementation and optimization of cryptographic algorithms, including post-quantum algorithms (ML-KEM, ML-DSA, SLH-DSA) for production use.
- Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues.
- Publish patents and peer-reviewed articles and present your research both internally and externally
A day in the life
You take a cryptographic algorithm that needs to be provably correct and write the formal specific
08 set - Giugliano in Campania
HOTEL VOGUE
08 set - Potenza
Altro
08 set - Sassari
Altro
08 set - Milano
Pricewaterhousecoopers