Apply now
Amazon logo

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

Amazon

On-site 🏢 New 🔥🔥
R&D, Innovation
Seattle, United States 🇺🇸

Shape the Future of Cloud ComputingAre 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; New York, NY; Portland, OR; Santa Clara, CA; Seattle, WAThe 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 responsibilitiesWe 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
Apply now

Similar jobs

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Applied Scientist (北京 2024-25校招 International Technology Team)

On-site 🏢 14 August
R&D, Innovation
Beijing, China 🇨🇳

Amazon Science Fellow, JP Manga

On-site 🏢 15 April
R&D, Innovation
Tokyo, Japan 🇯🇵

2025 Research Science Internship - Robotics - United States, PhD Student Science Recruiting

On-site 🏢 15 November
R&D, Innovation
San Francisco, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Mechanical Process Engineer Intern, 2025 Internship, Shanghai, China

On-site 🏢 05 December
R&D, Innovation
Shanghai, China 🇨🇳 Shenzhen, China 🇨🇳

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

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

On-site 🏢 02 October
R&D, Innovation
Seattle, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

SRAM Circuit Design Engineer - New College Grad 2025

On-site 🏢 08 April
R&D, Innovation
California, United States 🇺🇸

2025 Applied Science Internship - United States - PhD Student Science Recruiting

On-site 🏢 15 October
R&D, Innovation
Seattle, United States 🇺🇸

Research Intern - Quantum Computing

Hybrid 🏡🏢 New 🔥🔥
R&D, Innovation
California, United States 🇺🇸

2025 Applied Science Internship - Canada, PhD Student Science Recruiting

On-site 🏢 02 October
R&D, Innovation
Vancouver, Canada 🇨🇦 Pitt Meadows, Canada 🇨🇦 Toronto, Canada 🇨🇦 Burnaby, Canada 🇨🇦

[PhD] ML Compiler Engineer - Annapurna Labs, Annapurna Labs

On-site 🏢 15 April
R&D, Innovation
Seattle, United States 🇺🇸 Cupertino, United States 🇺🇸

Student / Intern_Oracle Labs

On-site 🏢 27 November
R&D, Innovation
Zurich, Switzerland 🇨🇭

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

2025 Applied Scientist Internship, Amazon University Talent Acquisition

On-site 🏢 08 October
R&D, Innovation
Luxembourg 🇱🇺

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Applied Scientist Intern, International Technology, 2025 Beijing

On-site 🏢 09 December
R&D, Innovation
Beijing, China 🇨🇳

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

On-site 🏢 02 October
R&D, Innovation
Seattle, United States 🇺🇸

Research Fellow

Hybrid 🏡🏢 New 🔥🔥
R&D, Innovation
Karnataka, India 🇮🇳

2025 Applied Scientist Internship, Amazon University Talent Acquisition

On-site 🏢 01 October
R&D, Innovation
Aachen, Germany 🇩🇪 Berlin, Germany 🇩🇪 Tuebingen, Germany 🇩🇪 Munich, Germany 🇩🇪

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

ASIC Design Engineer - New College Grad 2025

On-site 🏢 25 April
R&D, Innovation
California, United States 🇺🇸

Service Process Innovation & Systems Support (INTERNSHIP)

Hybrid 🏡🏢 08 August
R&D, Innovation
Milano, Italy 🇮🇹

Research and Development Intern

On-site 🏢 09 April
R&D, Innovation
Singapore 🇸🇬

Student / Intern in Oracle Labs

On-site 🏢 22 March
R&D, Innovation
Zurich, Switzerland 🇨🇭

PhD Research Intern, Generalist Embodied Agents Research - Fall 2025

Remote 🌎🌍🌏 14 April
R&D, Innovation
California, United States 🇺🇸 Remote, United States 🇺🇸

Quantum Researcher PhD (Intern) United States

Remote 🌎🌍🌏 17 April
R&D, Innovation
California, United States 🇺🇸

Research Intern - Microsoft Teams CMD Labs

Hybrid 🏡🏢 03 April
R&D, Innovation
Washington, United States 🇺🇸

VLSI Physical Design Engineer - New College Grad 2025

On-site 🏢 New 🔥🔥
R&D, Innovation
Massachusetts, United States 🇺🇸

PhD Research Intern, Generalist Embodied Agents Research - Summer 2025

Remote 🌎🌍🌏 14 April
R&D, Innovation
California, United States 🇺🇸 Remote, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

2025 Applied Scientist Internship, Amazon University Talent Acquisition, Amazon University Talent Acquisition

On-site 🏢 20 February
R&D, Innovation
Paris, France 🇫🇷

Intern Researcher in Computer Vision and Machine Learning

Hybrid 🏡🏢 05 March
R&D, Innovation
Cambridge, United Kingdom 🇬🇧

Research Sciences Intern (VISION)

Hybrid 🏡🏢 24 January
R&D, Innovation
Berlin, Germany 🇩🇪

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

2025 Applied Scientist Internship, Amazon University Talent Acquisition

On-site 🏢 03 October
R&D, Innovation
London, United Kingdom 🇬🇧 Cambridge, United Kingdom 🇬🇧 Edinburgh, United Kingdom 🇬🇧

Vehicle Adaptation Intern - 2025

On-site 🏢 13 April
R&D, Innovation
Stuttgart, Germany 🇩🇪

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Intern - High performance and Scalable Database Systems

Hybrid 🏡🏢 10 March
R&D, Innovation
California, United States 🇺🇸 Washington, United States 🇺🇸 Texas, United States 🇺🇸

Research Intern - Applied Sciences Group (Computer Vision)

Hybrid 🏡🏢 04 March
R&D, Innovation
Washington, United States 🇺🇸

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

On-site 🏢 11 December
R&D, Innovation
Seattle, United States 🇺🇸 San Francisco, United States 🇺🇸

2025 ASIC Physical Design Engineer Intern, Annapurna Labs

On-site 🏢 03 October
R&D, Innovation
Austin, United States 🇺🇸 Cupertino, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Process Innovation Intern

Hybrid 🏡🏢 New 🔥🔥
R&D, Innovation
Zagreb, Croatia 🇭🇷

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

PhD Intern, Applied Research Scientist Retriever - Fall 2025

On-site 🏢 New 🔥🔥
R&D, Innovation
California, United States 🇺🇸

Design Engineer, Coherent High Speed Interconnect - New College Grad 2025

On-site 🏢 New 🔥🔥
R&D, Innovation
California, United States 🇺🇸 Massachusetts, United States 🇺🇸

2025 Applied Science Internship - United States - Master's Student Science Recruiting

On-site 🏢 07 October
R&D, Innovation
Seattle, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

芯片验证实习生 DV Intern (Jul - Dec 2025)

Remote 🌎🌍🌏 16 April
R&D, Innovation
Shanghai, China 🇨🇳

Speech Synthesis Intern

On-site 🏢 02 March
R&D, Innovation
Singapore 🇸🇬

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant - PFE 2025

On-site 🏢 19 March
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

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

On-site 🏢 02 October
R&D, Innovation
Seattle, United States 🇺🇸

Research Assistant - PFE 2025

On-site 🏢 19 March
R&D, Innovation
Casablanca, Morocco 🇲🇦

Applied Scientist Intern, Global CoreJP, 2025 Beijing

On-site 🏢 09 December
R&D, Innovation
Beijing, China 🇨🇳

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Server Platform Validation Intern

On-site 🏢 14 February
R&D, Innovation
Pulau Pinang, Malaysia 🇲🇾

Silicon Design Intern (Jul - Dec 2025)

Remote 🌎🌍🌏 02 April
R&D, Innovation
Taipei City 115, Taiwan 🇹🇼

Student / Intern_Oracle Labs – Distributed Graph / ML in DB / Vector Database Systems

On-site 🏢 New 🔥🔥
R&D, Innovation
Zurich, Switzerland 🇨🇭

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Mechanical Engineer: Internship Opportunities - PhD - Redmond

Hybrid 🏡🏢 01 October
R&D, Innovation
Washington, United States 🇺🇸

2025 Mechanical/Electrical Engineering Internship

On-site 🏢 01 November
R&D, Innovation
Milan, Italy 🇮🇹

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

[PHD] SDE - Systems, Runtime, and ML Infrastructure (AWS Custom Silicon), Annapurna Labs

On-site 🏢 15 April
R&D, Innovation
Austin, United States 🇺🇸 Seattle, United States 🇺🇸 Cupertino, United States 🇺🇸

Research Assistant - PFE 2025

On-site 🏢 19 March
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

シニアリサーチャー（自然言語処理）｜Senior Researcher, Natural Language Processing

On-site 🏢 06 April
R&D, Innovation
Tokyo, Japan 🇯🇵

GPU Power Architect - New College Grad 2025

On-site 🏢 05 March
R&D, Innovation
California, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

2025 Applied Science Internship - United States, Undergrad Student Science Recruiting, Frontier AI & Robotics

On-site 🏢 04 February
R&D, Innovation
San Francisco, United States 🇺🇸

Hardware Development Engineer, Annapurna Labs

On-site 🏢 16 December
R&D, Innovation
Austin, United States 🇺🇸 Cupertino, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Student / Intern in Oracle Labs

On-site 🏢 New 🔥🔥
R&D, Innovation
Zurich, Switzerland 🇨🇭

2025 Quantum Research Science Internship - United States, PhD Student Science Recruiting

On-site 🏢 02 October
R&D, Innovation
Seattle, United States 🇺🇸

Speech Synthesis Intern

On-site 🏢 12 February
R&D, Innovation
London, United Kingdom 🇬🇧

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

ASIC Design Verification Engineer, Annapurna Labs

On-site 🏢 17 March
R&D, Innovation
Austin, United States 🇺🇸 Cupertino, United States 🇺🇸

ASIC Design Engineer - New College Grad 2025

On-site 🏢 25 April
R&D, Innovation
California, United States 🇺🇸

Research Assistant - PFE 2025

On-site 🏢 19 March
R&D, Innovation
Casablanca, Morocco 🇲🇦

System Design Power Validation Engineer - New College Grad

On-site 🏢 23 April
R&D, Innovation
Taipei, Taiwan 🇹🇼

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

2025 Applied Scientist internship- UAE National, Amazon University Talent Acquisition

On-site 🏢 27 January
R&D, Innovation
Dubai, United Arab Emirates 🇦🇪

GPU AI Kernel开发实习生 (Jul - Dec 2025)

On-site 🏢 18 April
R&D, Innovation
Beijing, China 🇨🇳

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

2025 Applied Scientist Internship, Amazon University Talent Acquisition

On-site 🏢 08 October
R&D, Innovation
Barcelona, Spain 🇪🇸 Madrid, Spain 🇪🇸

Research Intern - Applied Speech Research

Remote 🌎🌍🌏 28 March
R&D, Innovation
California, United States 🇺🇸

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Intern

On-site 🏢 02 April
R&D, Innovation
Canada 🇨🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 25 April
R&D, Innovation
Casablanca, Morocco 🇲🇦

Design Verification Intern

On-site 🏢 12 February
R&D, Innovation
Pulau Pinang, Malaysia 🇲🇾

Research Engineer (L4) - Member Lifecycle and Monetization

Remote 🌎🌍🌏 20 March
R&D, Innovation
United States 🇺🇸

Power Architecture and Optimization Engineer – New College Grad 2025

On-site 🏢 24 September
R&D, Innovation
California, United States 🇺🇸 Texas, United States 🇺🇸

Speech Synthesis Intern

On-site 🏢 26 February
R&D, Innovation
Singapore 🇸🇬

Firmware Intern (Jul - Dec 2025)

On-site 🏢 11 April
R&D, Innovation
T´ai-pei, Taiwan 🇹🇼

TiMi Singapore or Montreal- Level design intern (ancient China history research)

On-site 🏢 20 March
R&D, Innovation
Singapore 🇸🇬

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

On-site 🏢 02 October
R&D, Innovation
Seattle, United States 🇺🇸

Artificial General Intelligence (Audio/Speech/Language Processing and Large Multimodal Model Focus) RESEARCH INTERNSHIP

On-site 🏢 New 🔥🔥
R&D, Innovation
Bellevue, United States 🇺🇸

Share this job, spread the word!

Apply now See all roles in United States 🇺🇸