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

Amazon • Seattle, WA • 2h ago

Description

This role sits within Amazon's Automated Reasoning and Formal Verification research horizon.

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 innovative 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.

Applied Scientists in Automated Reasoning develop and apply formal methods, automated reasoning techniques, and neurosymbolic approaches to ensure the security, reliability, and correctness of Amazon and AWS services and customer applications. Application areas span cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems. Methods range from interactive theorem proving and constraint solving to neuro-inspired proof search.

As an Applied Science Intern, you will have the opportunity to work alongside our scientists and contribute to projects. From distributed proof search and SAT/SMT solvers to program analysis, synthesis, and verification, you will tackle complex challenges at the intersection of theory and practice.

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.

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.

Contribute to the design and implementation of algorithms and formal methods for automated reasoning, including constraint solving, model checking, static analysis, theorem proving, and program synthesis, within a guided research framework.

Explore and apply generative AI and machine learning techniques to enhance automated reasoning, including learning-based heuristics for search, neural approaches to symbolic reasoning, and methods for verifying the correctness of AI-generated code.

Contribute to automated reasoning techniques for generative AI and agentic coding systems, including methods that apply formal guarantees to large language model outputs.

Contribute to the scientific community through publications at peer-reviewed conferences and journals.

Leverage AI-powered tools where applicable to accelerate research, experimentation, and prototyping. Critically review and validate outputs from AI tools and automated systems.

The ideal intern must have the ability to communicate research findings clearly to diverse audiences.

Basic Qualifications

Are enrolled in a PhD

Can relocate to where the internship is based

Work 40 hours/week minimum and commit to 12 week internship minimum

Experience programming in Python, and where applicable, C++, Haskell, or Lean

Experience in one or more of the following: mathematical logic, formal verification, satisfiability solving (SAT/SMT), mechanical theorem proving, model checking, or program analysis

Demonstrated science depth in a specific research area, evidenced through publications, thesis work, or equivalent contributions

Preferred Qualifications

Experience implementing algorithms using formal methods toolkits (e.g. Lean, Dafny, Isabelle, Rocq, Z3, SAT/SMT solvers, or domain-specific verification frameworks)

Experience applying formal methods or automated reasoning to real-world software, security, or systems problems

Experience programming in OCaml, Haskell, Rust, Scala, or a related functional or systems language

Experience with AI-assisted development tools to accelerate research, coding, or evaluation

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.

The starting pay for this position is listed below. Starting Day 1 of employment, Amazon offers EAP, Mental Health Support, Medical Advice Line, 401(k) matching. Learn more about our benefits at https://hiring.amazon.com/why-amazon/benefits .

Seattle, WA, USA - 135,660.00 USD Annually

Amazon

Go to Apply

Share this job

Similar Jobs

Accounts Payable Specialist

Aston Carter • Seattle, WA • 21min ago

Finance, Accounting & Banking

Job Title: Accounts Payable SpecialistJob Description We are looking for a dedicated Accounts Payable Specialist to manage the end-to-end accounts payable process. This includes timely and accurate invoice processing, cr...

21min ago

Go to Apply

Administrative Assistant - Academic Affairs

University of Washington • Seattle, WA • 33min ago

Management & Administrative

No Telework Seattle, WA Full time REQ-0000137186 Job Description The School of Dentistry has an outstanding opportunity for an Administrative Assistant to join its team. About this Opportunity Reporting to the Vice Dean...

33min ago

Go to Apply

Union Warehouse Associate

WESCO • Kent, WA • 55min ago

Manufacturing & Warehouse

Launch your career! We are hiring immediately for full time Warehouse workers! We will teach you about distribution and supply chain techniques valued by Fortune 250 companies around the globe. We are Wesco! We enable th...

55min ago

Go to Apply

Frontier Industry Advisor- Health & Life Science

Microsoft Corporation • Redmond, WA • 1h ago

Hospital & Medical

Overview The Healthcare and Life Sciences (HLS) industry team mission is to lead healthcare transformation with bold innovation and agility to empower providers, patients, scientists, and partners to improve the human ex...

1h ago

Go to Apply

Litigation Attorney (Business, Real Estate, Construction)

Robert Half • Bellevue, WA • 1h ago

Trucking & Construction

Description Full-service firm is seeking a Litigation Attorney to join their practice, specializing in business, real estate, and construction disputes. This established practice handles a wide range of sophisticated civ...

1h ago

Go to Apply

Office Leader - Washington State

HNTB • Bellevue, WA • 2h ago

Management & Administrative

What We're Looking For At HNTB, you can create a career that is meaningful to you while building communities that matter to all of us. For more than a century, we have been delivering solutions for some of the largest, m...

2h ago

Go to Apply

Account Consultant Pharmacist - Remote in WA State

UnitedHealth Group • Seattle, WA • 2h ago

Hospital & Medical

Requisition number: 2381465 Job category: Pharmacy At UnitedHealthcare, we're simplifying the health care experience, creating healthier communities and removing barriers to quality care. The work you do here impacts the...

2h ago

Go to Apply

Graduate Mechanical Engineer (Available 2027)

Arup • Seattle, WA • 2h ago

IT & Engineering

ReqID: SEA000094 Graduate Mechanical Engineer See it differently You see the world through a unique lens and that's exactly what we need. We embrace how you see things differently - it's essential for creating a sustaina...

2h ago

Go to Apply

Product Marketing Manager

Cengage Group • Seattle, WA • 3h ago

Management & Administrative

Florida, USA United States Full time R2026-1185 We believe in the power and joy of learning At Cengage, our employees have a direct impact in helping learners around the world discover the power and joy of learning. We a...

3h ago

Go to Apply

Lease Accountant

Paccar Winch Inc. • Bellevue, WA • 3h ago

Finance, Accounting & Banking

Lease Accountant Apply now » Apply now Apply Now Start applying with LinkedIn Start Please wait... Date: Sep 18, 2026 Location: Bellevue, WA, US, 98004 Company: PACCAR Company Information PACCAR is a Global Fortune 500 c...

3h ago

Go to Apply

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