# Applied Science Intern - Automated Reasoning - PhD Student Science Recruiting at Amazon

- Company: [Amazon](https://www.amazon.com)
- Location: Seattle, WA
- Type: Internship · Internship
- Posted: 2026-07-23
- Apply: https://amazon.jobs/en/jobs/10394156/2026-fall-applied-science-internship-automated-reasoning-united-states-phd-student-science-recruiting
- Page: https://newgrad.ai/jobs/applied-science-intern-automated-reasoning-phd-student-scien-58856b41

## Posting

What you'll do:

- Work on automated reasoning projects including theorem proving, SAT/SMT solvers, and program verification
- Develop and deploy solutions for distributed proof search and program synthesis into production
- Collaborate with scientists on cutting-edge research at the intersection of theory and practice
- Contribute to tools powering billions of daily calls across Amazon's cloud infrastructure

What they're looking for:

- PhD student enrolled in a doctoral program
- Programming experience in Python, Java, C, or C++
- Expertise in automated reasoning, program analysis, or related fields preferred
- Ability to commit to 12-week internship minimum, 40 hours per week

Pay and perks:

- $142,800–$193,200 annually plus sign-on and restricted stock units
- Health insurance, 401(k) matching, paid time off, and parental leave

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