Applied Scientist, Amazon Cryptographic Libraries
Publicada el 2026-07-19
Descripción de la oferta
Description 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 libcrypto. 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 cryptograph…
Skills
Fuente original: adzuna:us