Seattle, WA · On-site
$104K - $142K/yr
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 ...
Seattle, WA · On-site
$104K - $142K/yr
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 ...
Seattle, WA · On-site
$119K - $163K/yr
You understand how localization algorithms behave under real‑world constraints such as severe sensor vibration, track/wheel slip, GPS‑denied environments, and featureless terrain. You enjoy ...
Seattle, WA · On-site
$119K - $163K/yr
You understand how localization algorithms behave under real‑world constraints such as severe sensor vibration, track/wheel slip, GPS‑denied environments, and featureless terrain. You enjoy ...
Seattle, WA · On-site
$185K - $230K/yr
The ideal candidate will hold a deep comprehension of search and recommendations algorithms and infrastructure, including retrieval augmented generation (RAG), semantic search using embeddings, text ...
Seattle, WA · On-site
$185K - $230K/yr
The ideal candidate will hold a deep comprehension of search and recommendations algorithms and infrastructure, including retrieval augmented generation (RAG), semantic search using embeddings, text ...
Develop GPU-accelerated algorithms for computationally intensive design, analysis, search, simulation, and optimization problems. * Create tools that expose design state, constraints, actions ...
Quick apply
Develop GPU-accelerated algorithms for computationally intensive design, analysis, search, simulation, and optimization problems. * Create tools that expose design state, constraints, actions ...
Seattle, WA · On-site
$185K - $230K/yr
The ideal candidate will hold a deep comprehension of search and recommendations algorithms and infrastructure, including retrieval augmented generation (RAG), semantic search using embeddings, text ...
Seattle, WA · On-site
$185K - $230K/yr
The ideal candidate will hold a deep comprehension of search and recommendations algorithms and infrastructure, including retrieval augmented generation (RAG), semantic search using embeddings, text ...
You will help develop advanced rendering algorithms and software that enable industry-leading visual quality and performance on AMD hardware platforms. THE PERSON: The ideal candidate possesses an ...
You will help develop advanced rendering algorithms and software that enable industry-leading visual quality and performance on AMD hardware platforms. THE PERSON: The ideal candidate possesses an ...
Design and implement Extended Kalman Filter algorithms for navigation applications, with broad understanding of state estimation theory and alternative filtering approaches * Implement tightly ...
Design and implement Extended Kalman Filter algorithms for navigation applications, with broad understanding of state estimation theory and alternative filtering approaches * Implement tightly ...
Seattle, WA · On-site
$270K - $400K/yr
Design and implement Extended Kalman Filter algorithms for navigation applications, with broad understanding of state estimation theory and alternative filtering approaches * Implement tightly ...
Seattle, WA · On-site
$270K - $400K/yr
Design and implement Extended Kalman Filter algorithms for navigation applications, with broad understanding of state estimation theory and alternative filtering approaches * Implement tightly ...
You will help develop advanced rendering algorithms and software that enable industry-leading visual quality and performance on AMD hardware platforms. THE PERSON: The ideal candidate possesses an ...
You will help develop advanced rendering algorithms and software that enable industry-leading visual quality and performance on AMD hardware platforms. THE PERSON: The ideal candidate possesses an ...
Seattle, WA · On-site
$230K - $322K/yr
Take algorithms from floating-point modeling through fixed-point implementation and bit-accurate verification * Drive for lowest power consumption and highest performance * Target your algorithms for ...
Seattle, WA · On-site
$230K - $322K/yr
Take algorithms from floating-point modeling through fixed-point implementation and bit-accurate verification * Drive for lowest power consumption and highest performance * Target your algorithms for ...
$191K - $253K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$191K - $253K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$191K - $253K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$191K - $253K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Seattle, WA · On-site
$275K - $350K/yr
Develop and implement advanced sensor algorithms for processing data from IMUs, radar, cameras, GPS, and other sensors. * Enhance state estimation algorithms by integrating multi-sensor data for ...
Quick apply
Seattle, WA · On-site
$275K - $350K/yr
Develop and implement advanced sensor algorithms for processing data from IMUs, radar, cameras, GPS, and other sensors. * Enhance state estimation algorithms by integrating multi-sensor data for ...
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Seattle, WA · On-site
$191K - $253K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Seattle, WA · On-site
$191K - $253K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$166K - $220K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$166K - $220K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Seattle, WA · On-site
$119K - $163K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Seattle, WA · On-site
$119K - $163K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Seattle, WA · On-site
$197K - $276K/yr
The position spans algorithm design, flight software implementation, performance and robustness analysis, verification, and hardware-in-the-loop integration. Responsibilities: * Design and develop ...
Seattle, WA · On-site
$197K - $276K/yr
The position spans algorithm design, flight software implementation, performance and robustness analysis, verification, and hardware-in-the-loop integration. Responsibilities: * Design and develop ...
Seattle, WA · On-site
$166K - $220K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
Seattle, WA · On-site
$166K - $220K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$166K - $220K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$166K - $220K/yr
Advanced map matching algorithms * Terrain contour matching (TERCOM) * Celestial navigation * High-fidelity state estimation using various Kalman filter types (Error-State, Invariant Filters)
$38.57 - $45.81
5% of jobs
$45.81 - $53.05
0% of jobs
$53.05 - $60.28
0% of jobs
$60.28 - $67.52
2% of jobs
$67.52 - $74.76
15% of jobs
$77.17 is the 25th percentile. Wages below this are outliers.
$74.76 - $81.99
9% of jobs
$81.99 - $89.23
6% of jobs
The median wage is $92.85 / hr.
$89.23 - $96.47
25% of jobs
$100.81 is the 75th percentile. Wages above this are outliers.
$96.47 - $103.71
21% of jobs
$103.71 - $110.94
15% of jobs
$110.94 - $118.18
2% of jobs
$38
$89
$118
An Algorithm job typically involves designing, analyzing, and optimizing algorithms to solve complex problems efficiently. Professionals in this role work in fields like computer science, data science, artificial intelligence, and software development. They create algorithms for tasks such as data processing, machine learning, search optimization, and automation. Strong mathematical and programming skills are essential, along with knowledge of algorithmic complexity and data structures.
To excel as an Algorithm Engineer, you typically need a strong background in computer science, mathematics, and programming languages such as Python, C++, or Java, often supported by a relevant degree. Familiarity with algorithms and data structures, version control systems like Git, and experience with technical tools such as MATLAB or TensorFlow are highly valued. Analytical thinking, problem-solving abilities, and effective communication skills are crucial soft skills for this position. These competencies are essential to create efficient algorithms, collaborate across teams, and drive innovation in computational solutions.
As an Algorithm Engineer, you might work on developing and optimizing algorithms for tasks like data analysis, machine learning, computer vision, or operations research, depending on the industry. Daily responsibilities often include writing and testing code, analyzing performance bottlenecks, and collaborating with data scientists, product managers, or software engineers to integrate algorithms into production systems. You may also be involved in researching new techniques, reviewing technical literature, and presenting your findings to technical and non-technical audiences. This role often requires balancing creative problem-solving with practical implementation and continuous improvement.
The most popular types of Algorithm jobs in Seattle, WA are:
For Algorithm jobs in Seattle, WA, the most frequently searched job titles are:
The top searched job categories for Algorithm jobs in Seattle, WA are:
Seattle, WA • On-site
$104K - $142K/yr
Full-time
Posted 11 days ago
7.4
Based on 7,171 frontline employees who took The Breakroom Quiz
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.
- Specify the functional behavior of low-level cryptographic code (Rust, C, assembly) in formal notation and verify it using both automatic and interactive provers, such as HOL-Light, Verus and CBMC.
- 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 algorithms (ML-KEM, ML-DSA, SLH-DSA) for production use.
- Assist in the career development of others, actively mentoring individuals and the community on advanced technical issues.
- Publish patents and peer-reviewed articles and present your research both internally and externally
A day in the life
You take a cryptographic algorithm that needs to be provably correct and write the formal specification of its behavior, the code and the proof of correctness. You develop the proof in an interactive theorem prover, assisted by state-of-the-art AI models and iterate until the machine checks it end to end.
Some days you are debugging a proof obligation; 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.
About 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.
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.
It services, book publishers, retail, real estate, computer and electronic product manufacturing and software development
10,000+ Employees
Seattle, WA, US
