STEAM Circuit Logo
All jobs

2027 Applied Science Internship - Automated Reasoning (PhD)

Amazon

Portland, OR (or other US offices)Internship Entry-level$135,660/yr (Seattle base; varies by location)
Apply now

Job details

Pay

$135,660/yr (Seattle base; varies by location)

Job type

Internship

Work setting

On-site

Location

Portland, OR (or other US offices)

Posted

Posted 28 days ago

Full job description

Amazon's Automated Reasoning and Formal Verification research team is hiring PhD student interns for 2027. Interns develop formal methods and automated reasoning techniques that enhance the security and reliability of AWS services.

WHAT YOU'LL WORK ON:

  • Cloud infrastructure verification, AI safety, and guarantees for generative AI
  • Approaches ranging from theorem proving to neurosymbolic methods

DETAILS:

  • 12-week minimum internship, 40 hours/week minimum
  • Locations include Portland, OR; Seattle, WA; Arlington, VA; Boston, MA; New York, NY; Santa Clara, CA; Austin, TX

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

Requirements

  • Enrolled in a PhD program
  • Able to relocate to where the internship is based
  • Work 40 hours/week minimum and commit to a 12-week internship minimum
  • Experience programming in Python, and where applicable, C++, Haskell, or Lean
  • Experience in one or more of: mathematical logic, formal verification, satisfiability solving (SAT/SMT), mechanical theorem proving, model checking, or program analysis
  • Demonstrated science depth in a specific research area (publications, thesis work, or equivalent)
TechAI

Ready to apply?

Apply on the company site

You’ll be taken to an external site to complete your application.