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 primary research focus is developing a mathematically precise theory of machine intelligence that is both transparent and robust. 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.
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. The goal of this research project will be to help us understand autonomous systems that can prove theorems about systems with similar deductive capabilities. Applicants should have experience programming in functional programming languages, with a preference for languages with dependent types, such as Agda, Coq, or Lean.