2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science

Role Overview

Are you a graduate student passionate about Automated Reasoning and its real‑world applications? Join our team of innovators and embark on a journey to revolutionize cloud computing through cutting‑edge automated reasoning techniques. Our tools are called billions of times daily, powering the backbone of Amazon's products and services. We are changing the way computer systems are developed and operated, raising the bar for security, durability, availability, and quality.

As an Applied Science Intern, you'll contribute to groundbreaking projects from distributed proof search and SAT/SMT solvers to program analysis, synthesis, and verification. You’ll tackle complex challenges at the intersection of theory and practice, driving innovation and delivering tangible value to our customers.

Your work will not just involve executing tasks – you’ll explore novel approaches to solving intricate automated reasoning problems, dive into cutting‑edge research, and deploy your solutions into production to witness real‑world impact.

Throughout your journey, you’ll have access to state‑of‑the‑art computing infrastructure, research papers, and mentorship from industry luminaries.

Join us and be part of a team that is shaping the future of cloud computing through Automated Reasoning. Apply now and unlock your potential!

Amazon has positions available for Automated Reasoning Applied Science Internships in Arlington, VA;
Boston, MA;
New York, NY;
Portland, OR;
Santa Clara, CA;
Seattle, WA.

We are particularly interested in candidates with expertise in the following areas:

• Theorem Proving
• Boolean Satisfiability Solvers
• Bounded Model Checking
• Deductive Verification
• Programming/Scripting Languages
• Abstract Interpretation
• Automated Reasoning
• Static/Program Analysis
• Program Synthesis

• Enrolled in a PhD program
• Can relocate to where the internship is based
• Experience programming or scripting languages like Python, Java, C or C++
• Willing to work 40 hours/week minimum and commit to a 12‑week internship minimum
• Experience with one or more of the following:
  Knowledge Graphs and Extraction, Neural Networks/GNNs, Data Structures and Algorithms, Time Series, Machine Learning, Natural Language Processing, Deep Learning, Large Language Models, Graph Modeling, Programming/Scripting Languages

• Publications at top‑tier peer‑reviewed conferences or journals

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, please visit (Use the "Apply for this Job" box below). 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 USD 142,800 – 193,200 annually for locations in Washington (Seattle). The package includes sign‑on payments and restricted stock units (RSUs). Your 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 .