Posting Description

RESEARCH SCIENTIST 3, Computer Science and Artificial Intelligence Lab , to lead a research program on Provable AI Safety through Self-Proving Models; advance AI safety research, a strategic priority at MIT, by building both the theoretical foundations and the practical implementation of AI systems that prove the correctness of their own outputs; serve as a key member of a research team spanning theoretical computer science, machine learning, use of machine learning for enhancing mathematical discovery and formal verification; help set the project's research direction, lead several of the program's parallel research tracks, and supervise PhD students; and publish their research and work.

The full job description is available, here: https://www.dropbox.com/scl/fi/v0fh102aidthd9klzwqz8/Research-Scientist-3-Job-Description.docx?rlkey=sfv1s790df7ozb9e3uedukkku&st=1ckptkco&dl=0

Job Requirements

REQUIRED : Ph.D. in Computer Science, Mathematics, or a closely related field; a track record of independent research contributions in theoretical computer science, machine learning, and/or formal verification, including foundational work on the Self-Proving Models framework that underlies this program; demonstrated expertise in interactive proof systems, computational complexity, and machine learning techniques applied to language models; excellent leadership experience and project management skills; strong supervisory skills and experience mentoring graduate students across theoretical and applied work; experience leading or contributing to cross-institutional research collaborations; outstanding interpersonal and relationship management skills to relate to a wide diversity of faculty, staff, students, and external stakeholders, including funders and policy audiences; ability to handle confidential information and sponsored research compliance matters with discretion and judgment; proven written and verbal communication and presentation skills, including the ability to publish in top-tier venues in theoretical computer science, machine learning, and AI safety, and to present research to both technical and policy audiences; and flexibility and availability to attend occasional evening, weekend, and international meetings, including with UK and European collaborators, and to travel for conferences and collaboration visits as the program requires.

This is a 2-year funded position with potential to renew.

6/4/2026