Sr Applied Scientist, Amazon Cryptographic Libraries

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

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

All jobs

Sr Applied Scientist, Amazon Cryptographic Libraries

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

Posted pay

$167K–$226K

a year

Compared with similar jobs

This base pay is near the median for senior AI research jobs in other US places.

Median: $197K a year
Other jobs in the group: 132

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: Senior
Skills in the job text: AWS
Rust
C
Posted: Sep 1, 2026
Last check: 6 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 cryptographic library) and manages third-party cryptographic libraries. We build 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 AWS's Automated Reasoning Group on formal verification.

PhD or equivalent research experience, or a PhD and experience in patents or publications at top-tier peer-reviewed conferences or journals
Experience programming in Rust, Java, C, C++, Python or related language
Experience in any of the following areas: formal verification, interactive theorem proving, deductive verification, cryptography or mathematical logic
Hands-on experience with automatic or interactive program verification tools, such as HOL Light, CBMC, Verus, or Lean.
Experience specifying or verifying low-level software (machine code or assembly)
Familiarity with cryptographic primitives and their implementation
Low-level or systems programming experience in Rust, C 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 – 167,100.00 - 226,100.00 USD annually

Sr Applied Scientist, Amazon Cryptographic Libraries

The role

Sr Applied Scientist, Amazon Cryptographic Libraries

The role

The team

What you will do

Similar jobs at other companies

Senior Applied Scientist, Amazon Business - External Integrations

Applied Scientist II, Amazon Business - External Integrations

Member of Technical Staff - Formal Methods

Sr. Applied Scientist, WWOS Tech

Applied Scientist III, Alexa International

Security Engineer, Stores Application Security

Amazon Development Center U.S., Inc.

Compared with similar jobs