2026 Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting
Job ID: 3127847 | Amazon.com Services LLC
Shape the future of cloud computing. As an applied science intern, you'll work alongside leading scientists to create innovative automated reasoning techniques, such as distributed proof search, SAT/SMT solvers, program analysis, synthesis, and verification. Your work will lead to production deployments that power Amazon's products and services.
Key Job Responsibilities
• Tackle complex challenges at the intersection of theory and practice.
• Develop and evaluate novel automated reasoning approaches.• Deploy solutions to production and measure real‐world impact.• Collaborate with cross‐functional teams and mentor junior colleagues.
Required Expertise
1. Theorem Proving
2. Boolean Satisfiability Solvers
3. Bounded Model Checking
4. Deductive Verification
5. Programming/Scripting Languages (Python, Java, C/C++)
6. Abstract Interpretation
7. Static/Program Analysis
8. Program Synthesis
Basic Qualifications
9. Enrolled in a PhD program
10. Ready to relocate to the internship site
11. Experience with programming or scripting languages (Python, Java, C or C++)
12. Familiarity with knowledge graph extraction, neural networks/GNNs, data structures and algorithms, time series, machine learning, NLP, deep learning, large language models, graph modeling, and knowledge graphs
13. Eligible and available for a full‐time internship (40 hours per week) for the entire duration
Preferred Qualifications
14. Publications in top‐tier peer‐reviewed conferences or journals
The base salary range for this position is USD 142,800.00 – 193,200.00 annually. Your Amazon package will include sign‐on payments and restricted stock units (RSUs). Amazon also offers comprehensive benefits such as health insurance, 401(k) matching, paid time off, and parental leave. For more information, visit Amazon Benefits.
Amazon is an equal‐opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status. We provide accommodations and adjustments throughout the application and hiring process.
#J-18808-Ljbffr