Applied Scientist, Amazon Cryptographic Libraries

Amazon Development Center U.S., Inc., Seattle, Washington

Amazon Development Center U.S., Inc. has this job in 2 other places

The role

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 cryptography.

All jobs

Applied Scientist, Amazon Cryptographic Libraries

Amazon Development Center U.S., Inc., Seattle, Washington

Amazon Development Center U.S., Inc. has this job in 2 other places

Posted pay

$143K–$193K

a year

Compared with similar jobs

This base pay is below the median for AI research jobs in other US places with no level in the job title.

Median: $183K a year
Other jobs in the group: 291

We compare the middle of each posted range. This is base pay as posted. The group does not include this job.

Location: Seattle, Washington
Work type: Not given
Level: Not given
Skills in the job text: AWS
Posted: Sep 1, 2026
Last check: 7 h ago
Job type: Research

Apply on the Amazon Development Center U.S., Inc. site Sign in to save

The Amazon Development Center U.S., Inc. site opens in a new tab.

Amazon Development Center U.S., Inc.

Find more Amazon Development Center U.S., Inc. jobs

Amazon Development Center U.S., Inc.

Find more Amazon Development Center U.S., Inc. jobs

Check my fit

Compare your résumé with this job. See where you match, what is missing and which lines to change.

The role

The team

ACL owns AWS-LC (Amazon's FIPS-validated libcrypto), the Amazon Corretto Crypto Provider (ACCP), and managed third-party cryptographic libraries, the cryptographic foundation under nearly every AWS service and a growing set of external open-source projects. Applied Scientists on the team own algorithm-level and assembly performance work and partner deeply with Amazon's Automated Reasoning Group on formal verification. The team has senior scientists who actively mentor and collaborate, so an early-career scientist gets both research depth and production-scale reach from day one.

PhD or equivalent research experience, or PhD
Experience in any of the following areas: mathematical logic, formal verification, satisfiability solving (eg SAT/SMT), mechanical theorem proving, model checking, or program analysis
Hands-on experience with an interactive theorem prover (HOL Light, Isabelle/HOL, Lean, Coq, or Verus)
Experience specifying or verifying low-level software (machine code, C, or assembly)
Familiarity with cryptographic primitives and their implementations
Low-level or systems programming experience in C, Rust, or assembly
Familiarity with post-quantum cryptography (lattice-based, code-based, or hash-based schemes)

Our inclusive culture empowers Amazonians to deliver the best results for our customers. If you have a disability and need a workplace accommodation or adjustment during the application and hiring process, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

The base salary range for this position is listed below. Your Amazon package will include sign-on payments and restricted stock units (RSUs). Final compensation will be determined based on factors including experience, qualifications, and location. Amazon also offers comprehensive benefits including health insurance (medical, dental, vision, prescription, Basic Life & AD&D insurance and option for Supplemental life plans, EAP, Mental Health Support, Medical Advice Line, Flexible Spending Accounts, Adoption and Surrogacy Reimbursement coverage), 401(k) matching, paid time off, and parental leave.

Learn more about our benefits at https://amazon.jobs/en/benefits.

USA, WA, Seattle – 142,800.00 - 193,200.00 USD annually

The role

The role

The team

What you will do

Amazon Development Center U.S., Inc.

Compared with similar jobs