Applied Science III

Amazon is hiring an Applied Science III in Seattle, United States. It pays $167k-$226k a year and Level rates it ; you can apply on Amazon.

Level's read on this job

On Level's scale, this role is Builds AI ●●●●: the job is building AI systems.
The posting mentions AI agents among its tools and skills.
Level classes it as a mid-level role.
Amazon has 20,000+ other open roles on Level.
Posted in the last few days.

AI in this role

ai-agents

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

How we rate this

Applied Science III at Amazon rates 91 out of 100 for how much of the daily work is AI. That makes it Builds AI (AI Level 4 of 4). The level is about AI in the job, not seniority.

Classification

Builds AI. The job is building AI systems.

●●●● Builds AI80 to 100
●●●○ Works on AI60 to 79
●●○○ Uses AI40 to 59
●○○○ Little AI0 to 39

Levels come from how often the tools, models and workflows of the role are named in the posting itself. Read the description and count the AI tools, models and workflows it names.

Key facts

Applied Science III is an open job at Amazon.
Level rates this role AI Level 4 of 4: Builds AI.
The listed salary is $167k-$226k a year.
The role is based in US, WA, Seattle.
The job was posted on November 13, 2026.
Seniority: mid.
Applications are handled by Amazon. Apply on Amazon

Prepare for this job

Built from this posting and from similar jobs on Level.

Skills and AI tools this role asks for

AI agents

Questions you could be asked

How do you decide when an AI agent can act on its own versus asking for approval first?
How would you decide a model or AI system is ready to ship?
Tell me about a time a model underperformed in production. How did you find out, and what did you change?

Adapt your resume

List these exact terms on your resume: AI agents. An applicant tracking system matches the wording, not the idea.
Attach one line of real, concrete experience to at least one of them. A tool named with nothing behind it rarely survives a human read.
Lead with what you built, trained or shipped. This role is judged on the AI system itself, not the tools around it.

Get your CV reviewed before you apply

Send your CV and the role you want next. Your review arrives by email within 3 days.

Get a free CV review Check your resume with the ATS resume checker