# Applied Scientist Intern - Automated Reasoning at Amazon

- Company: [Amazon](https://www.amazon.com)
- Location: Seattle, WA
- Type: Internship · Internship
- Posted: 2026-10-23
- Apply: https://amazon.jobs/en/jobs/10552930/2027-applied-science-internship-automated-reasoning-united-states-phd-student-science-recruiting-automated-reasoning
- Page: https://newgrad.ai/jobs/applied-scientist-intern-automated-reasoning-861bd1a8

## Posting

What you'll do:

- Develop formal methods and automated reasoning techniques for cloud infrastructure and AI safety.
- Design algorithms for theorem proving, model checking, and program synthesis.
- Apply machine learning to enhance symbolic reasoning and verify AI-generated code.
- Publish research findings in peer-reviewed journals and conferences.

What they're looking for:

- Current PhD student available for a minimum 12-week, 40-hour weekly internship.
- Proficiency in Python and experience with languages like C++, Haskell, or Lean.
- Background in mathematical logic, formal verification, SAT/SMT solvers, or program analysis.
- Demonstrated research depth through publications or thesis work.

Pay and perks:

- Annual salary of 135,660 USD for the Seattle location.
- Includes 401(k) matching, mental health support, and medical advice services.

Summarized by newgrad.ai from Amazon's public posting. Check the original for full details before you apply.

---

More new-grad and intern roles: https://newgrad.ai/llms.txt