Amazon Seeks PhD Students for 2027 Internships
Amazon is seeking Ph.D. students working in automated reasoning, formal methods, and formal verification for its 2027 Applied Science Internship program.
The internships provide an opportunity for doctoral students to work alongside Amazon scientists on research applying automated reasoning to large-scale, real-world computing systems. Areas of application include cloud infrastructure verification, cryptographic assurance, AI safety, and formal guarantees for generative AI systems.
Research topics may include theorem proving, SAT/SMT solving, bounded model checking, deductive verification, abstract interpretation, static and program analysis, program synthesis, and automated reasoning. Amazon is also exploring the intersection of formal reasoning and artificial intelligence, including learning-based approaches to proof search, neural-symbolic reasoning, verification of AI-generated code, and formal guarantees for generative AI and agentic coding systems.
Candidates must be enrolled in a Ph.D. program and have experience in areas such as mathematical logic, formal verification, satisfiability solving, mechanical theorem proving, model checking, or program analysis. Programming experience in Python is required, with experience in languages and tools such as C++, Haskell, Lean, Dafny, Isabelle, Rocq, Z3, and SAT/SMT solvers relevant to particular projects.
Internships require a minimum 12-week, full-time commitment. Positions are available at several Amazon locations, including Arlington, Boston, New York, Portland, Santa Clara, Seattle, Austin, and Cambridge, UK.
For doctoral researchers in formal reasoning, the program provides an opportunity to apply foundational methods to problems involving complex software, cloud systems, security, and emerging AI-enabled systems.
Position: 2027 Applied Science Internship – Automated Reasoning
Organization: Amazon
Eligibility: Ph.D. students
Duration: Minimum 12 weeks, full time
Locations: Multiple U.S. locations and Cambridge, UK
Official Posting: https://www.amazon.jobs/en/jobs/10552930/2027-applied-science-internship-automated-reasoning-united-states-phd-student-science-recruiting-automated-reasoning