--- title: Applied Science III at Amazon in Seattle, WA description: Amazon is hiring for the Applied Science III role in Seattle, WA. Pays $167.1K–$226.1K per year. See the full description and apply. type: job url: https://www.foundrole.com/jobs/applied-science-iii-at-amazon-01a1d29a-e089-74d6-b046-f327e3721936 date: 2026-11-13T05:15:12Z og_description: Join Amazon as Applied Science III in Seattle, WA. Pays $167.1K–$226.1K per year. Full-time role. Requires 6+ years of experience. og_image: https://www.foundrole.com/og/uv35ze.png breadcrumbs: - label: Home url: https://www.foundrole.com/ - label: Search url: https://www.foundrole.com/jobs --- | | | |---|---| | **Company** | [Amazon](https://www.foundrole.com/companies/amazon?utm_source=ai_markdown) | | **Location** | Seattle, WA | | **Salary** | $167.1K/yr - $226.1K/yr | | **Type** | Full Time | | **Posted** | Nov 13, 2026 | ## Is this job real? **Ghost job check:** B · Low risk. Probably a real opening. ## Visa sponsorship - **H-1B:** Amazon sponsors H-1B visas. It filed 25,968 H-1B petitions (FY2026 Q1 – FY2026 Q4). - **E-Verify:** No E-Verify enrollment on record for Amazon. ## Pay for similar jobs Most similar jobs pay $142,000 – $197,000 a year (median $169,000). ## Description Do you want to make AI provably correct for chip design and verification? We're hiring an Applied Scientist to combine large language models with formal methods such as Lean 4 and turn AI from a helpful assistant into a trusted engineering tool for silicon. Our team builds the formal verification methods behind custom silicon at Amazon scale. As AI agents take on more of chip design and verification, we need people who can make sure their output is checkable, sound and grounded in mathematics. You will research and build systems where LLMs work alongside interactive theorem provers, SMT solvers and model checkers. Engineers write the specifications. AI refines them against RTL, generates proof steps and closes proofs at machine speed. Every result is checked by a formal kernel, not trusted on faith. Work at the frontier of AI reasoning, theorem proving and hardware verification Ship solutions that directly affect real chips running in AWS data centers Publish and help shape how the industry formalizes AI use in hardware engineering Key job responsibilities Design and build LLM-driven systems for formal verification and design tasks, including proof generation, invariant and lemma discovery, spec-to-RTL refinement, and counterexample analysis Develop frameworks in Lean 4 (and related tools such as SMT solvers, model checkers and commercial FV engines) that formally check AI-generated artifacts, so they are correct by construction rather than just plausible Formalize hardware semantics, ISAs and microarchitectural properties in Lean 4 to create machine-checkable foundations for AI agents to reason over Track and evaluate state-of-the-art AI work (LLM agents, autoformalization, neural theorem proving, reinforcement learning from proof feedback) and turn promising research into production tools Build benchmarks and evaluation methods that measure AI soundness, proof success rate and engineering impact on real designs Partner with FV and design engineers to find the highest-leverage problems and deploy solutions into active chip programs Publish research, file patents and represent Amazon in the formal methods and AI communities Mentor engineers and scientists on applying formal AI methods ## Basic Qualifications \- Experience programming in Java, C++, Python or related language \- PhD, or Master's degree and 6+ years of applied research experience ## Preferred Qualifications \- Knowledge of programming languages such as C/C++, Python, Java or Perl Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. 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 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 . USA, WA, Seattle - 167,100.00 - 226,100.00 USD annually ## Skills - Construction - Perl - Applied Research - Patents - Python - LLM Agents - Register Transfer Language RTL - Formal Verification - AI Agents - C++ - Large Language Models (Llm) - Reinforcement Learning - Formal Methods - Java ## Benefits - Mental Health - Health Insurance - Dental Insurance - Vision Insurance - Life Insurance - Parental Leave - Paid Time Off (Pto) - 401(k) Plans - Employee Stock Options (ESOs) ## Related - [More jobs at Amazon](https://www.foundrole.com/companies/amazon?utm_source=ai_markdown) - [Browse all companies](https://www.foundrole.com/companies?utm_source=ai_markdown) ## Explore this job market - [Internet Marketplace Platforms](https://www.foundrole.com/sectors/technology/internet-marketplace-platforms?utm_source=ai_markdown) — 63650 jobs - [Washington](https://www.foundrole.com/locations/us/washington?utm_source=ai_markdown) — 61632 jobs - [Amazon](https://www.foundrole.com/companies/amazon?utm_source=ai_markdown) — 20408 jobs - [Seattle, WA](https://www.foundrole.com/locations/us/washington/seattle?utm_source=ai_markdown) — 18792 jobs ## Related pages - [Internet Marketplace Platforms](https://www.foundrole.com/sectors/technology/internet-marketplace-platforms?utm_source=ai_markdown) — 63650 jobs - [Washington](https://www.foundrole.com/locations/us/washington?utm_source=ai_markdown) — 61632 jobs - [Amazon](https://www.foundrole.com/companies/amazon?utm_source=ai_markdown) — 20408 jobs - [Seattle, WA](https://www.foundrole.com/locations/us/washington/seattle?utm_source=ai_markdown) — 18792 jobs ## Browse - [Companies](https://www.foundrole.com/companies?utm_source=ai_markdown) - [Jobs by country](https://www.foundrole.com/locations?utm_source=ai_markdown) - [Jobs in the United States by state and city](https://www.foundrole.com/locations/us?utm_source=ai_markdown) - [H1B sponsors by location](https://www.foundrole.com/h1b-sponsors?utm_source=ai_markdown) - [H1B salaries](https://www.foundrole.com/h1b-salaries?utm_source=ai_markdown) - [Sectors and industries](https://www.foundrole.com/sectors?utm_source=ai_markdown) - [Jobs by career field](https://www.foundrole.com/careers?utm_source=ai_markdown) - [Latest jobs](https://www.foundrole.com/jobs/latest?utm_source=ai_markdown)