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

Amazon

On-site 🏢 02 October
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; Boston, MA; Cupertino, CA; Minneapolis, MN; New York, NY; Portland, OR; Santa Clara, CA; Seattle, WA; Bellevue, WA; Santa Clara, CA; Sunnyvale, CA.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 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

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

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

Mixed Signal Analog Circuit Designer (RDSS Intern)

On-site 🏢 12 November
R&D, Innovation
Hsinchu, Taiwan 🇹🇼 Taipei, Taiwan 🇹🇼

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

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

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

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

Design Verification Engineer (RDSS Intern)

On-site 🏢 06 November
R&D, Innovation
Hsinchu, Taiwan 🇹🇼

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

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

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

Research Intern - Microsoft Teams CMD Labs

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

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

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

Research Assistant - PFE 2025

On-site 🏢 19 March
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 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 - Applied Speech Research

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

Applied Scientist Intern, International Technology, 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 🇲🇦

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

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

Server Platform Validation Intern

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

Hardware Development Engineer, Annapurna Labs

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

Speech Synthesis Intern

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

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

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

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

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

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

Research Assistant OIP 2025 (Summer Internship)

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

GPU Firmware Engineer (RDSS Intern)

On-site 🏢 09 October
R&D, Innovation
Taipei, Taiwan 🇹🇼

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

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

Firmware Intern (Jul - Dec 2025)

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

2025 ASIC Physical Design Engineer Intern, Annapurna Labs

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

Research Fellow

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

Silicon Validation Engineer (RDSS Intern)

On-site 🏢 22 October
R&D, Innovation
Taipei, Taiwan 🇹🇼

2025 Mechanical/Electrical Engineering Internship

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

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

Design Verification Intern

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

Research Intern - Quantum Computing

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

Research Assistant OIP 2025 (Summer Internship)

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

PhD Research Intern, Generalist Embodied Agents Research - Fall 2025

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

Research Intern - Applied Sciences Group (Computer Vision)

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

Amazon Science Fellow, JP Manga

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

Student / Intern in Oracle Labs

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

System Design Power Validation Engineer - New College Grad

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

ASIC Design Engineer - New College Grad 2025

On-site 🏢 25 April
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 🇲🇦

Mixed Signal Design Engineer (RDSS Intern)

On-site 🏢 15 November
R&D, Innovation
Taipei, Taiwan 🇹🇼 Hsinchu, Taiwan 🇹🇼

Mechanical Process Engineer Intern, 2025 Internship, Shanghai, China

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

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 Scientist, Generalist Embodied Agent Research - New College Grad 2025

Remote 🌎🌍🌏 12 November
R&D, Innovation
California, United States 🇺🇸 Remote, 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 🇲🇦

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 🇺🇸

Silicon Design Intern (Jul - Dec 2025)

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

ASIC Design Engineer - New College Grad 2025

On-site 🏢 25 April
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 🇲🇦

PhD Research Intern, Generalist Embodied Agents Research - Summer 2025

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

Perf Engineering Intern - 2025

On-site 🏢 14 January
R&D, Innovation
Shanghai, China 🇨🇳

Mixed-Signal Circuit Design Engineer - New College Graduate

On-site 🏢 06 December
R&D, Innovation
Hsinchu, Taiwan 🇹🇼 Taipei, Taiwan 🇹🇼

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

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

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

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

Research Intern

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

Intern Researcher in Computer Vision and Machine Learning

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

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

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

SRAM Circuit Design Engineer - New College Grad 2025

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

Research Assistant OIP 2025 (Summer Internship)

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

Research and Development Intern

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

Research Engineer (L4) - Member Lifecycle and Monetization

Remote 🌎🌍🌏 20 March
R&D, Innovation
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 Sciences Intern (VISION)

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

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

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

Student / Intern_Oracle Labs

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

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

Research Assistant OIP 2025 (Summer Internship)

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

Mixed Signal Design Engineer (RDSS Intern)

On-site 🏢 31 October
R&D, Innovation
Hsinchu, Taiwan 🇹🇼 Taipei, Taiwan 🇹🇼

Research Assistant OIP 2025 (Summer Internship)

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

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 🇲🇦

Service Process Innovation & Systems Support (INTERNSHIP)

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

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 🇺🇸

Quantum Researcher PhD (Intern) United States

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

Signal and Power Integrity Engineer (RDSS Intern)

On-site 🏢 06 November
R&D, Innovation
Taipei, Taiwan 🇹🇼 Hsinchu, Taiwan 🇹🇼

PhD Intern, Applied Research Scientist Retriever - Fall 2025

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

Research Assistant OIP 2025 (Summer Internship)

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

Power Architecture and Optimization Engineer – New College Grad 2025

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

Mechanical Engineer: Internship Opportunities - PhD - Redmond

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

Vehicle Adaptation Intern - 2025

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

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 🇲🇦

Product Development Engineer (RDSS Intern)

On-site 🏢 20 November
R&D, Innovation
Hsinchu, Taiwan 🇹🇼

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 🇲🇦

Speech Synthesis Intern

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

Research Intern - High performance and Scalable Database Systems

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

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

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

Research Assistant - PFE 2025

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

Research Assistant - PFE 2025

On-site 🏢 19 March
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 🇦🇪

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 Quantum Research Science Internship - United States, PhD Student Science Recruiting

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

ASIC Design Verification Engineer, Annapurna Labs

On-site 🏢 17 March
R&D, Innovation
Austin, United States 🇺🇸 Cupertino, 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 🇨🇦

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 🇲🇦

VLSI Physical Design Engineer - New College Grad 2025

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

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 🇲🇦

Research Assistant OIP 2025 (Summer Internship)

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

Applied Research Intern - 2025

On-site 🏢 14 February
R&D, Innovation
Yerevan, Armenia

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 🇲🇦

Applied Scientist Intern, Global CoreJP, 2025 Beijing

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

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 🇲🇦

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 🇲🇦

Student / Intern in Oracle Labs

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

Research Assistant OIP 2025 (Summer Internship)

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

Share this job, spread the word!

Apply now See all roles in United States 🇺🇸

Similar jobs

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

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

Mixed Signal Analog Circuit Designer (RDSS Intern)

On-site 🏢 12 November
R&D, Innovation
Hsinchu, Taiwan 🇹🇼 Taipei, Taiwan 🇹🇼

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

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