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

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 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: - 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