Applied Scientist Intern - Automated Reasoning

Amazon; Seattle (WA); On-site; USD 122,000 - 149,000; Full time

Benefits offered by this job

401(k) matching

Mental health support

Medical advice services

Job summary

New Grad in Seattle offers a 12-week internship for a current PhD student. You will develop formal methods and automated reasoning for cloud infrastructure and AI safety, and design algorithms for theorem proving, model checking, and program synthesis.

Proficiency in Python and experience with languages like C++, Haskell, or Lean are required. You will apply ML to enhance symbolic reasoning and verify AI-generated code, and publish findings in peer-reviewed venues.

Qualifications

• Current PhD student available for a minimum 12-week, 40-hour weekly internship.
• Proficiency in Python and experience with languages like C++, Haskell, or Lean.
• Background in mathematical logic, formal verification, SAT/SMT solvers, or program analysis.
• Demonstrated research depth through publications or thesis work.

Responsibilities

• Develop formal methods and automated reasoning techniques for cloud infrastructure and AI safety.
• Design algorithms for theorem proving, model checking, and program synthesis.
• Apply machine learning to enhance symbolic reasoning and verify AI-generated code.
• Publish research findings in peer-reviewed journals and conferences.

Skills

Python

C++

Haskell

Lean

Education

PhD student

Tools

SAT/SMT solvers

Theorem proving

Job description

What you'll do:

• Develop formal methods and automated reasoning techniques for cloud infrastructure and AI safety.
• Design algorithms for theorem proving, model checking, and program synthesis.
• Apply machine learning to enhance symbolic reasoning and verify AI-generated code.
• Publish research findings in peer-reviewed journals and conferences.

What they're looking for:

• Current PhD student available for a minimum 12-week, 40-hour weekly internship.
• Proficiency in Python and experience with languages like C++, Haskell, or Lean.
• Background in mathematical logic, formal verification, SAT/SMT solvers, or program analysis.
• Demonstrated research depth through publications or thesis work.

Pay and perks:

• Annual salary of 135,660 USD for the Seattle location.
• Includes 401(k) matching, mental health support, and medical advice services.