2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
Core
PhD student intern developing automated reasoning techniques to improve the security, durability, and quality of Amazon's cloud computing infrastructure.
Role type
PhD student Applied Science Intern (Automated Reasoning)
Builds
Production-grade automated reasoning tools (SAT/SMT solvers, theorem provers, program analyzers) powering Amazon's backbone services.
Domain
Cloud Computing / Automated Reasoning / Formal Methods
Deliverable
production ML models | product features
Required skills
Theorem Proving, Boolean Satisfiability Solvers, Bounded Model Checking, Deductive Verification, Programming/Scripting Languages, Abstract Interpretation, Automated Reasoning, Static/Program Analysis, Program Synthesis
Preferred skills
Publications at top-tier peer-reviewed conferences or journals
Technologies
Python, Java, C, C++, Knowledge Graphs, Neural Networks, GNNs, Data Structures, Algorithms, Time Series, Machine Learning, NLP, Deep Learning, LLMs, Graph Modeling
Responsibilities
Develop novel approaches to solving intricate automated reasoning problems; deploy solutions into production; collaborate with cross-functional teams on complex business problems.
Seniority
PhD Student, Research & Development