Applied Scientist: Formal Crypto Proofs & Production

Posted yesterday

amazonSeattle (WA)

Mathematicians Other Scientific and Technical Consulting Services

SENIORITY

Mid

Apply

About the role

Amazon is seeking an Applied Scientist to advance formal verification in the ACL project, focusing on machine-checked proofs of cryptographic implementations and their production deployment across AWS services. The role emphasizes collaboration with senior scientists and cross-team partners. You will extend verification to post-quantum constructions, optimize low-level code (C/assembly), and contribute to cryptographic libraries that underpin AWS-LC and ACCP.

Before you apply

Applying takes about a minute. These four things decide how fast it moves after that.

Your profile is current

It's what we read first. Occupations, seniority and locations matter more than a long history.

Two examples you can talk through

Not a portfolio — just two pieces of work where you can explain the decisions and what you'd change.

A number in mind

What you're on now and what would make you move. We negotiate better when we know both.

Your notice period

Employers plan around it, and it's the question that stalls offers most often.

Once you apply, someone reads it and calls you before anything reaches the employer — usually within two working days.