Working at MIT offers opportunities that just aren’t found anywhere else, including generous and unique benefits that help to ensure that MIT employees are healthy, supported, and enjoy a fulfilling work/life balance. Discover more about what it's like to work at MIT.

We welcome people from all walks of life to bring their talent, ideas, and experience to our community. We strongly encourage applications from individuals from all identities and backgrounds – like yours. If you want to be part of our exceptional, multicultural, collaborative, and inclusive community, then take a look at this opportunity.

MIT provides pay ranges representing its good faith estimate of what the Institute reasonably expects to pay for a full time position at the time of posting (if you are applying for a part time salaried job, you will need to prorate the posted pay range). The pay offered to a selected candidate during hiring will be based on factors such as (but not limited to) the scope and responsibilities of the position, the candidate's work experience and education/training, internal peer equity, and applicable legal requirements. This pay range represents base pay only and does not include any other benefits or compensation.

Research Scientist 3

Job Number: 25763
Functional Area: Research - Scientific
Department: Comp Sci & Artificial Intelligence Lab
School Area: Schwarzman College of Computing
Pay Range Minimum: $82,000
Pay Range Maximum: $142,000

Employment Type: Full-Time
Employment Category: Exempt
Visa Sponsorship Available: No
Schedule:
Pay Grade: No Grade

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