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