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

Amazon

On-site 🏢 28 April
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

Mechanical Process Engineer Intern, 2025 Internship, Shanghai, China

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

SRAM Circuit Design Engineer - New College Grad 2025

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

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

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

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 21 May
R&D, Innovation
Casablanca, Morocco 🇲🇦

Mixed Signal Design Engineer (RDSS Intern)

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

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

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

Applied Scientist Intern, Global CoreJP, 2025 Beijing

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

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 22 May
R&D, Innovation
Casablanca, Morocco 🇲🇦

Signal and Power Integrity Engineer (RDSS Intern)

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

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 21 May
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 🇲🇦

Reliability Engineer Intern

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

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

On-site 🏢 01 May
R&D, Innovation
California, United States 🇺🇸 Massachusetts, United States 🇺🇸

Software Engineering Intern, Robotics Perception Research - Fall 2025

On-site 🏢 15 May
R&D, Innovation
Toronto, Canada 🇨🇦

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 22 May
R&D, Innovation
Casablanca, Morocco 🇲🇦

Applied Scientist Intern, International Technology, 2025 Beijing

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

Hardware Development Engineer, Annapurna Labs

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

Speech Synthesis Intern

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

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 22 May
R&D, Innovation
Casablanca, Morocco 🇲🇦

Firmware Intern (Jul - Dec 2025)

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

Research Intern - Microsoft Teams CMD Labs

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

Research Assistant - PFE 2025

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

Silicon Validation Engineer (RDSS Intern)

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

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 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 🇮🇹

Research Scientist, Spatial Intelligence - New College Grad 2025

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

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

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

Research Assistant OIP 2025 (Summer Internship)

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

2025 ASIC Physical Design Engineer Intern, Annapurna Labs

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

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

On-site 🏢 15 April
R&D, Innovation
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 🇲🇦

Speech Synthesis Intern

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

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

ASIC Design Verification Engineer, Annapurna Labs

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

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

ASIC Verification Engineer - New College Grad 2025

On-site 🏢 14 May
R&D, Innovation
North Carolina, United States 🇺🇸 Alabama, United States 🇺🇸

GPU Compiler LLVM Backend Intern - 2025

On-site 🏢 22 May
R&D, Innovation
Shanghai, China 🇨🇳

Mixed-Signal Circuit Design Engineer - New College Graduate

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

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

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

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

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

VLSI Physical Design Integration Engineer - New College Grad 2025

On-site 🏢 06 May
R&D, Innovation
Massachusetts, United States 🇺🇸

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

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

Mixed Signal Design Engineer - New College Grad 2025

On-site 🏢 06 May
R&D, Innovation
California, United States 🇺🇸

Design Verification Engineer (RDSS Intern)

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

Speech Synthesis Intern

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

Amazon Science Fellow, JP Manga

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

Research Assistant OIP 2025 (Summer Internship)

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

Power Methodology and Modeling Engineer - New College Grad 2025

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

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

Product Development Engineer (RDSS Intern)

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

Research Intern - Applied Speech Research

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

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

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

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

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

ASIC Verification Engineer - New College Grad 2025

On-site 🏢 22 May
R&D, Innovation
California, United States 🇺🇸

Mixed Signal Analog Circuit Designer (RDSS Intern)

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

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

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

Design Verification Intern

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

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

System Design Power Validation Engineer - New College Grad

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

Research Scientist, Generalist Embodied Agent Research - New College Grad 2025

Remote 🌎🌍🌏 12 November
R&D, Innovation
California, United States 🇺🇸 Remote, United States 🇺🇸

Fall 2025 PhD Analog/mixed-signal SerDes design Intern/Co-Op

On-site 🏢 19 May
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 🇺🇸

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

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

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

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

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

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 22 May
R&D, Innovation
Casablanca, Morocco 🇲🇦

Research Intern - Quantum Computing

Hybrid 🏡🏢 28 April
R&D, Innovation
California, United States 🇺🇸

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

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

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 Verification Engineer, GPU - New College Grad 2025

On-site 🏢 29 October
R&D, Innovation
California, United States 🇺🇸 Texas, United States 🇺🇸 North Carolina, United States 🇺🇸

Research Intern - High performance and Scalable Database Systems

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

Intern Researcher in Computer Vision and Machine Learning

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

Research Assistant - PFE 2025

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

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

On-site 🏢 15 October
R&D, Innovation
Seattle, 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 🇲🇦

ASIC Verification Engineer - New College Grad 2025

On-site 🏢 06 May
R&D, Innovation
Texas, United States 🇺🇸 California, United States 🇺🇸

Mechanical Engineer I (Full Time) United States

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

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

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

Game Research & Development Intern, Engine Research

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

Research and Development Intern

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

2025 Quantum 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 🏢 21 May
R&D, Innovation
Casablanca, Morocco 🇲🇦

VLSI Physical Design Engineer - New College Grad 2025

On-site 🏢 01 May
R&D, Innovation
Massachusetts, United States 🇺🇸

PhD Intern, Applied Research Scientist Retriever - Fall 2025

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

Research Engineer (L4) - Member Lifecycle and Monetization

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

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

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

GPU Power Architect - New College Grad 2025

On-site 🏢 05 March
R&D, Innovation
California, 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 🇺🇸

Logic and Digital Circuit Design Engineer - New College Grad 2025

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

ASIC Floorplan Design Engineer - New College Grad 2025

On-site 🏢 21 May
R&D, Innovation
California, United States 🇺🇸

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

Vulkan Driver Performance Intern - Fall 2025

On-site 🏢 16 May
R&D, Innovation
California, United States 🇺🇸

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

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

Server Platform Validation Intern

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

Research Assistant OIP 2025 (Summer Internship)

On-site 🏢 22 May
R&D, Innovation
Casablanca, Morocco 🇲🇦

Fall 2025 Applied Science Internship - Canada, PhD Student Science Recruiting

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

GPU Firmware Engineer (RDSS Intern)

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

2025 Applied Scientist Internship, Amazon University Talent Acquisition

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

2025 Mechanical/Electrical Engineering Internship

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

Applied Research Intern - 2025

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

Share this job, spread the word!

Apply now

See all roles in United States 🇺🇸
See all roles for R&D, Innovation

Similar jobs

Mechanical Process Engineer Intern, 2025 Internship, Shanghai, China

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

SRAM Circuit Design Engineer - New College Grad 2025

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

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

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