The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... engineers, and partner teams to translate verified implementations into production-grade, FIPS ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA · On-site
$104K - $142K/yr
... programming in Rust, Java, C, C++, Python or related language - Experience in any of the following ... with cryptographic primitives and their implementation - Low-level or systems programming ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA · On-site
$104K - $142K/yr
... programming in Rust, Java, C, C++, Python or related language - Experience in any of the following ... with cryptographic primitives and their implementation - Low-level or systems programming ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA · On-site
$104K - $142K/yr
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... or systems programming experience in Rust, C or assembly - Familiarity with post-quantum ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA · On-site
$104K - $142K/yr
The Amazon Cryptographic Libraries(ACL) team builds the cryptography that AWS services and a ... or systems programming experience in Rust, C or assembly - Familiarity with post-quantum ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA · On-site
$104K - $142K/yr
Specify the functional behavior of low-level cryptographic code (Rust, C, assembly) in formal ... Low-level or systems programming experience in Rust, C or assembly * Familiarity with post-quantum ...
Sr Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA · On-site
$104K - $142K/yr
Specify the functional behavior of low-level cryptographic code (Rust, C, assembly) in formal ... Low-level or systems programming experience in Rust, C or assembly * Familiarity with post-quantum ...
JPMorgan Chase & Co. is seeking a Sr Lead Security Engineer to join its Cybersecurity & Technology ... of cryptographic principles. At JPMorgan Chase, you will redefine industry standards in ...
JPMorgan Chase & Co. is seeking a Sr Lead Security Engineer to join its Cybersecurity & Technology ... of cryptographic principles. At JPMorgan Chase, you will redefine industry standards in ...
Quantum Computing & Cryptography Engineer (REMOTE)
Seattle, WA · Remote
$200K - $250K/yr
You will work on projects that aim to develop advanced quantum algorithms, secure cryptographic ... This role blends deep theoretical knowledge with practical engineering and requires a desire to ...
Quick apply
Quantum Computing & Cryptography Engineer (REMOTE)
Seattle, WA · Remote
$200K - $250K/yr
You will work on projects that aim to develop advanced quantum algorithms, secure cryptographic ... This role blends deep theoretical knowledge with practical engineering and requires a desire to ...
Sr. Software Engineer
Seattle, WA · On-site
$139K - $183K/yr
Design and build cryptographic key management systems that support the full key lifecycle ... Collaborate with engineering teams across the company to ensure their systems correctly support ...
Sr. Software Engineer
Seattle, WA · On-site
$139K - $183K/yr
Design and build cryptographic key management systems that support the full key lifecycle ... Collaborate with engineering teams across the company to ensure their systems correctly support ...
Sr. Software Engineer
Seattle, WA · On-site +1
$139K - $183K/yr
Design and build cryptographic key management systems that support the full key lifecycle ... Collaborate with engineering teams across the company to ensure their systems correctly support ...
Sr. Software Engineer
Seattle, WA · On-site +1
$139K - $183K/yr
Design and build cryptographic key management systems that support the full key lifecycle ... Collaborate with engineering teams across the company to ensure their systems correctly support ...
Sr. Software Engineer
Seattle, WA · On-site
$139K - $183K/yr
Design and build cryptographic key management systems that support the full key lifecycle ... Collaborate with engineering teams across the company to ensure their systems correctly support ...
Sr. Software Engineer
Seattle, WA · On-site
$139K - $183K/yr
Design and build cryptographic key management systems that support the full key lifecycle ... Collaborate with engineering teams across the company to ensure their systems correctly support ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... As a Software Development Engineer you will shape the cryptographic implementations that run across ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... As a Software Development Engineer you will shape the cryptographic implementations that run across ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... As a Software Development Engineer you will shape the cryptographic implementations that run across ...
The Amazon Cryptographic Libraries (ACL) team builds the cryptography that AWS services and a ... As a Software Development Engineer you will shape the cryptographic implementations that run across ...
About the Role & Team The Cryptographic Services & Infrastructure team secures and manages cryptographic keys and enables Robinhood engineering teams to safely leverage core capabilities like ...
About the Role & Team The Cryptographic Services & Infrastructure team secures and manages cryptographic keys and enables Robinhood engineering teams to safely leverage core capabilities like ...
Your work covers device manufacturing security, cryptographic provisioning, vulnerability management, and regulatory compliance (FDA, EU CRA) for products used by millions. Security Engineer ...
Your work covers device manufacturing security, cryptographic provisioning, vulnerability management, and regulatory compliance (FDA, EU CRA) for products used by millions. Security Engineer ...
Sr Lead Security Infrastructure Engineer - HSM Management
Seattle, WA · On-site
$162K/yr
Join a world-class cybersecurity team where your expertise in cryptographic infrastructure and ... As a Sr Lead Security Engineer at JPMorganChase within the Cybersecurity & Technology Controls team ...
Sr Lead Security Infrastructure Engineer - HSM Management
Seattle, WA · On-site
$162K/yr
Join a world-class cybersecurity team where your expertise in cryptographic infrastructure and ... As a Sr Lead Security Engineer at JPMorganChase within the Cybersecurity & Technology Controls team ...
Sr. Lead Security Infrastructure Engineer - HSM Management
Seattle, WA · On-site
$162K/yr
Join a world-class cybersecurity team where your expertise in cryptographic infrastructure and ... As a Sr Lead Security Engineer at JPMorganChase within the Cybersecurity & Technology Controls team ...
Sr. Lead Security Infrastructure Engineer - HSM Management
Seattle, WA · On-site
$162K/yr
Join a world-class cybersecurity team where your expertise in cryptographic infrastructure and ... As a Sr Lead Security Engineer at JPMorganChase within the Cybersecurity & Technology Controls team ...
Cryptographic Engineer information
See Seattle, WA salary details
$35.3K - $45.3K
3% of jobs
$45.3K - $55.3K
0% of jobs
$55.3K - $65.3K
3% of jobs
$65.3K - $75.3K
1% of jobs
$75.3K - $85.2K
0% of jobs
$92.7K is the 25th percentile. Wages below this are outliers.
$85.2K - $95.2K
23% of jobs
$95.2K - $105.2K
14% of jobs
The median wage is $108K / yr.
$105.2K - $115.2K
19% of jobs
$115.2K - $125.2K
5% of jobs
$128.4K is the 75th percentile. Wages above this are outliers.
$125.2K - $135.2K
18% of jobs
$135.2K - $145.2K
13% of jobs
$35.3K
$109.1K
$145.2K
How much do cryptographic engineer jobs pay per year?
What are the key skills and qualifications needed to thrive as a cryptographic engineer?
What are some common challenges faced by cryptographic engineers when implementing new encryption protocols in a production environment?
What does a cryptographic engineer do?
What are popular job titles related to Cryptographic Engineer jobs in Seattle, WA?
For Cryptographic Engineer jobs in Seattle, WA, the most frequently searched job titles are:
What job categories do people searching Cryptographic Engineer jobs in Seattle, WA look for?
The top searched job categories for Cryptographic Engineer jobs in Seattle, WA are:
What cities near Seattle, WA are hiring for Cryptographic Engineer jobs?
Cities near Seattle, WA with the most Cryptographic Engineer job openings:

Applied Scientist, Amazon Cryptographic Libraries
Seattle, WA • On-site
Full-time
Re-posted 25 days ago
Key responsibilities
Develop and maintain machine-checked proofs of correctness for cryptographic implementations in AWS-LC.
Specify the functional behavior of low-level cryptographic code in formal notation and verify it using interactive theorem provers.
Contribute to the implementation and optimization of cryptographic algorithms, including post-quantum constructions, for production use.
Amazon rating
7.4
Based on 7,171 frontline employees who took The Breakroom Quiz
Job 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 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, working alongside senior scientists.
This is the core of the role.
- Specify the functional behavior of low-level cryptographic code (C, assembly) in formal notation and verify it using interactive theorem provers (HOL Light, Isabelle/HOL, or similar).
- 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 constructions (ML-KEM, ML-DSA, SLH-DSA), for production use.
- Collaborate with SDEs, security engineers, and partner teams to translate verified implementations into production-grade, FIPS-validated software.
- Grow your expertise through publications, open-source contributions, and engagement with the broader formal-methods and cryptographic research communities.
A day in the life
You take a cryptographic algorithm that needs to be provably correct. Working with a senior scientist or an ARG partner, you write the formal specification of its behavior, develop the proof in an interactive theorem prover, and iterate until the machine checks it end to end. Some days you are debugging a proof obligation that does not discharge; other days you are reading a paper on a new verification technique or helping refine an algorithm implementation so it is both fast and amenable to proof
Your proofs back code that is validated for FIPS and deployed across AWS, so you operate at an assurance bar most scientists never encounter this early in their career.
About 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.
About Amazon
Sourced by ZipRecruiter
Amazon.com, Inc., commonly known as Amazon, is an American multinational technology company. It was founded by Jeff Bezos in 1994 and initially started as an online marketplace for books. Since then, Amazon has expanded its operations and become one of the largest e-commerce companies in the world. Amazon's primary business is its online retail platform, where customers can purchase a vast array of products, including electronics, clothing, books, home goods, and much more. The company offers a convenient and user-friendly shopping experience, with features such as fast shipping, customer reviews, and personalized recommendations. In addition to its e-commerce platform, Amazon has diversified its business into various other areas. One of its notable ventures is Amazon Web Services (AWS), a comprehensive cloud computing platform that provides services such as storage, compute power, and database management to individuals and businesses. AWS has become a leader in the cloud computing industry, powering many websites and applications worldwide. Amazon has also developed its own consumer electronics, including the popular Amazon Kindle e-reader, Fire tablets, Fire TV streaming devices, and the Alexa-powered Echo smart speakers. The Alexa voice assistant, integrated into these devices, allows users to interact with their devices using voice commands, perform tasks, and access information. Furthermore, Amazon has expanded into media and entertainment. It operates Prime Video, a streaming service that offers a wide range of movies, TV shows, and original content. Amazon Music provides a platform for streaming and purchasing digital music, while Audible offers audiobooks and other audio content. The company's commitment to customer satisfaction and convenience is demonstrated by its membership program, Amazon Prime. Prime members receive various benefits, including free two-day shipping, access to streaming services, exclusive deals, and more.
Industry
It services, book publishers, retail, real estate, computer and electronic product manufacturing and software development
Company size
10,000+ Employees
Headquarters location
Seattle, WA, US