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

Amazon • Seattle, WA • 2h ago

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.

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+- 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

Must be eligible for and available for full-time (40 hours per week) internship for the whole duration of the internship

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.

Our compensation reflects the cost of labor across several US geographic markets. The base pay for this position ranges from $136,000/year in our lowest geographic market up to $223,400/year in our highest geographic market. Pay is based on a number of factors including market location and may vary depending on job-related knowledge, skills, and experience. Amazon is a total compensation company. Dependent on the position offered, equity, sign-on payments, and other forms of compensation may be provided as part of a total compensation package, in addition to a full range of medical, financial, and/or other benefits. For more information, please visit https://www.aboutamazon.com/workplace/employee-benefits . This position will remain posted until filled. Applicants should apply via our internal or external career site.

Amazon

Go to Apply

Share this job

Similar Jobs

Security Officer - Manufacturing Patrols

Allied Universal • Redmond, WA • 1h ago

Management & Administrative

Allied Universal®, North America's leading security and facility services company, offers rewarding careers that provide you a sense of purpose. While working in a dynamic, welcoming, and collaborative workplace, you wil...

1h ago

Go to Apply

2026 Applied Science Internship - Information & Knowledge Management (Machine Learning) - United States, PhD Student Science Recruiting

Amazon • Seattle, WA • 2h ago

Management & Administrative

Description Unleash Your Potential at the Forefront of AI Innovation At Amazon, we're on a mission to revolutionize the way the world leverages machine learning. Amazon is seeking graduate student scientists who can turn...

2h ago

Go to Apply

2026 Applied Science Internship - Gen AI & Large Language Models - United States, PhD Student Science Recruiting

Amazon • Seattle, WA • 2h ago

Description Revolutionize the Future of AI at the Frontier of Applied Science Are you a brilliant mind seeking to push the boundaries of what's possible with artificial intelligence? Join our elite team of researchers an...

2h ago

Go to Apply

2026 Applied Science Internship - Computer Vision - United States, PhD Student Science Recruiting

Amazon • Seattle, WA • 2h ago

IT & Engineering

Description Shape the Future of Visual Intelligence Are you passionate about pushing the boundaries of computer vision and shaping the future of visual intelligence? Join Amazon and embark on an exciting journey where yo...

2h ago

Go to Apply

2026 1L Patent Litigation Fellowship

Perkins Coie LLP • Seattle, WA • 2h ago

Legal & Paralegal

Job Description: APPLY NOW: SUMMER ASSOCIATE PATENT LITIGATION FELLOWSHIP TWO SUMMER OPPORTUNITY/(2026 & 2027) Perkins Coie is accepting applications from first-year law students interested in joining the firm as Sum...

2h ago

Go to Apply

2026 Applied Science Internship - Natural Language Processing and Speech Technologies - United States, PhD Student Science Recruiting

Amazon • Seattle, WA • 2h ago

IT & Engineering

Description Shape the Future of Human-Machine Interaction Are you a master of natural language processing, eager to push the boundaries of conversational AI? Amazon is seeking exceptional graduate students to join our cu...

2h ago

Go to Apply

2026 Applied Science Internship - Reinforcement Learning & Optimization (Machine Learning) - United States, PhD Student Science Recruiting

Amazon • Seattle, WA • 2h ago

IT & Engineering

Description Unlock the Future with Amazon Science! Calling all visionary minds passionate about the transformative power of machine learning! Amazon is seeking boundary-pushing graduate student scientists who can turn re...

2h ago

Go to Apply

2026 Operations Research Science Internship - United States, PhD Student Science Recruiting

Amazon • Seattle, WA • 2h ago

Description Do you enjoy solving challenging problems and driving innovations in research? Do you want to create scalable optimization models and apply machine learning techniques to guide real-world decisions? We are lo...

2h ago

Go to Apply

2026 Applied Science Internship - United States, PhD Student Science Recruiting, Frontier AI & Robotics

Amazon • Seattle, WA • 2h ago

Description Are you a brilliant mind seeking to push the boundaries of what's possible with intelligent robotics? Join our elite team of researchers and engineers - led by Pieter Abeel, Rocky Duan, and Peter Chen - at th...

2h ago

Go to Apply

Principal Technical Program Manager, Amazon Industrial Robotics

Amazon • Seattle, WA • 2h ago

Legal & Paralegal

Description Our collaborative team is at the forefront of building world-class industrial automation solutions. Our team is searching for a high energy Principal Technical Program Manager (TPM) that can manage the comple...

2h ago

Go to Apply

Subscribe to get new jobs sent directly to you
(no charge, cancel anytime)

This site is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.