Career Opportunities at MIRI


Why work for MIRI?

In addition to a friendly and collaborative work environment, MIRI offers:

  • Full-time, salaried positions
  • Medical and dental benefits
  • Visa & immigration assistance
  • Flexible vacation policy
  • Company phone
  • Green transit reimbursement
  • Company-sponsored meals, snacks, and drinks

MIRI is an artificial intelligence research center. Our focus is on developing a formal understanding of AI reasoning that is robust, suitable for safety-critical applications, and scalable to high levels of capability. We are located in Berkeley, CA.

Browse the current job openings below and apply today if you think you’re a good fit to join the MIRI team. For further information, see our Get Involved page.



Software Engineer

MIRI is looking for highly capable software engineers to directly support our AI alignment research efforts, with a focus on projects related to machine learning. We’re seeking engineers with strong programming skills who are passionate about MIRI’s mission and looking for challenging and intellectually engaging work.




Machine Learning Living Library

We’re looking for a very specialized autodidact to keep us up to date on developments in machine learning—a “living library” of new results. To support our research program, we want to hire someone to read every interesting-looking paper about AI and machine learning, and keep us abreast of noteworthy developments, including new techniques and insights.




Research Fellow

MIRI seeks mathematicians and computer scientists to contribute to our research program. There is not just one position available for this role; we want to hire as many qualified researchers as we can find.




Research Fellow in Type Theory and Machine Self-Reference

MIRI is accepting applications for a full-time research fellow to develop theorem provers with self-referential capabilities, beginning by implementing a strongly typed language within that very language. Applicants should have experience programming in functional programming languages, with a preference for languages with dependent types.