DirectJobHub
Jobs · Education · Washington

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

Amazon · Seattle, WA · 3 wk ago
EducationFull-time

Description

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.

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

Company

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

Qualifications

  • 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

Benefits

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 here for more information.

Amazon is an equal opportunity employer and does not discriminate on the basis of protected veteran status, disability, or other legally protected status.

Our comprehensive benefits include:

  • 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
  • Parental leave

Learn more about our benefits at here.

Pay

USA, WA, SEATTLE - 142,800.00 - 193,200.00 USD annually

USA, WA, Seattle - 142,800.00 - 193,200.00 USD annually

Similar jobs