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:
#J-18808-LjbffrResearch Scientist 3 in cambridge at Unknown Company
This position is listed as full time and onsite.