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

Amazon is hiring a 2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting for a remote role open to applicants in United States. It pays $143k a year and Level rates it ; you can apply on Amazon.

Level's read on this job

Level rates this HR role Builds AI ●●●●: the job is building AI systems.
Pay on this posting starts 17% higher than the typical HR posting on Level.
This is listed as a remote role.
The posting mentions Sat Smt Solvers, Theorem Provers and NLP among its tools and skills.
Amazon has 20,000+ other open roles on Level.

AI in this role

Applied Science Intern focusing on automated reasoning techniques, theorem proving, and formal verification for cloud computing.

Sat Smt SolversTheorem Provers

nlpautomated-reasoningtheorem-provingformal-verificationprogram-analysis

Shape the Future of Cloud Computing

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 have the opportunity to work alongside our brilliant scientists and 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.

This internship is not just about executing tasks – you'll explore novel approaches to solving intricate automated reasoning problems. You'll dive deep into cutting-edge research, leveraging your expertise to develop innovative solutions. You'll work on deploying your solutions into production, witnessing the real-world impact of your contributions.

Throughout your journey, you'll have access to unparalleled resources, including state-of-the-art computing infrastructure, cutting-edge research papers, and mentorship from industry luminaries. This immersive experience will not only sharpen your technical skills but also cultivate your ability to think critically, communicate effectively, and thrive in a fast-paced, innovative environment.

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

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

The ideal candidate should possess the ability to work collaboratively with diverse groups and cross-functional teams to solve complex business problems. A successful candidate will be a self-starter, comfortable with ambiguity, with strong attention to detail and the ability to thrive in a fast-paced, ever-changing environment.

Key job responsibilities
We are particularly interested in candidates with expertise in: Theorem Proving, Boolean Satisfiability Solvers, Bounded Model Checking, Deductive Verification, Programming/Scripting Languages, Abstract Interpretation, Automated Reasoning, Static/Program Analysis, Program Synthesis

Basic qualifications

- Are enrolled in a PhD
- Can relocate to where the internship is based
- Experience programming or scripting language like Python, Java, C or C++
- Work 40 hours/week minimum and commit to 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, Knowledge Graphs and Extraction, Programming/Scripting Languages

Preferred qualifications

- Have 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, including support for the interview or onboarding process, please visit https://amazon.jobs/content/en/how-we-hire/accommodations for more information. If the country/region you’re applying in isn’t listed, please contact your Recruiting Partner.

The starting pay for this position is listed below. Starting Day 1 of employment, Amazon offers EAP, Mental Health Support, Medical Advice Line, 401(k) matching. Learn more about our benefits at https://hiring.amazon.com/why-amazon/benefits.

SEATTLE, WA, USA - 142,800.00 USD Annually
Seattle, WA, USA - 142,800.00 USD Annually

How we rate this

2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting at Amazon rates 90 out of 100 for how much of the daily work is AI. That makes it Builds AI (AI Level 4 of 4). The level is about AI in the job, not seniority.

Classification

Builds AI. The job is building AI systems.

●●●● Builds AI80 to 100
●●●○ Works on AI60 to 79
●●○○ Uses AI40 to 59
●○○○ Little AI0 to 39

Levels come from how often the tools, models and workflows of the role are named in the posting itself. Read the description and count the AI tools, models and workflows it names.

Key facts

2026 Fall Applied Science Internship - Automated Reasoning - United States, PhD Student Science Recruiting is an open job at Amazon.
Level rates this role AI Level 4 of 4: Builds AI.
The listed salary is $143k a year.
The role is based in US, WA, Seattle and is marked remote.
The job was posted on April 16, 2026.
Seniority: intern.
Applications are handled by Amazon. Apply on Amazon

Prepare for this job

Built from this posting and from similar jobs on Level.

Skills and AI tools this role asks for

NLPAutomated ReasoningTheorem ProvingFormal VerificationProgram AnalysisSat Smt SolversTheorem Provers

Also common in HR jobs at this level

Computer vision Generative AI Reinforcement learning PyTorch AI agents

Pay

This job starts at: $143k
Typical HR job: $122k

This posting starts 17% above the typical HR job. See HR jobs

Questions you could be asked

What NLP problem have you worked on, and how did you measure whether it actually worked?
Tell me about a project where automated reasoning was part of your work. What did you do?
Tell me about a project where theorem proving was part of your work. What did you do?
Tell me about a project where formal verification was part of your work. What did you do?
Tell me about a project where program analysis was part of your work. What did you do?

Adapt your resume

List these exact terms on your resume: NLP, Automated Reasoning, Theorem Proving, Formal Verification, and Program Analysis. An applicant tracking system matches the wording, not the idea.
Attach one line of real, concrete experience to at least one of them. A tool named with nothing behind it rarely survives a human read.
Lead with what you built, trained or shipped. This role is judged on the AI system itself, not the tools around it.

Get your CV reviewed before you apply

Send your CV and the role you want next. Your review arrives by email within 3 days.

Get a free CV review Check your resume with the ATS resume checker