Applied Scientist Intern - Automated Reasoning

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.