Amazon
2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
$143K
Seattle, WA · Internship · Posted Apr 16, 2026
- Experience
- Programming or scripting experience; experience in one or more of the specified technical areas. Minimum internship commitment: 12 weeks.
- Education
- Enrolled in a PhD program.
About the job
Conduct research in automated reasoning, develop and deploy solutions to production, and address challenges in cloud computing systems.
What you'll do
- Explore and develop novel approaches to automated reasoning problems, including proof search, SAT/SMT solving, program analysis, synthesis, and verification.
- Work with scientists and cross-functional teams to solve complex problems and deploy research solutions into production.
- Contribute to projects that improve the security, durability, availability, and quality of computer systems.
What they ask for
- Be enrolled in a PhD program.
- Be able to relocate to the internship location.
- Have experience with a programming or scripting language such as Python, Java, C, or C++.
- Have experience in at least one listed area, including machine learning, neural networks/GNNs, natural language processing, data structures and algorithms, or programming/scripting languages; commit to at least 40 hours per week for a minimum 12-week internship.
Nice to have
- Publications at top-tier peer-reviewed conferences or journals.
Pay
142,800.00 USD Annually (base salary)
Tools
Python, Java, C, C++, SAT/SMT solvers, Neural Networks/GNNs, Large Language Models
AI focus
Automated reasoning research and applied work across machine learning, neural networks/GNNs, deep learning, natural language processing, and large language models.
Model-written summary · the original posting is authoritative