Job description
careers.peopleclick.com • Cambridge, MA
MIT CSAIL is seeking a Research Scientist to lead a research program on Provable AI Safety through Self-Proving Models. This role focuses on building both the theoretical foundations and the practical implementation of AI systems that prove the correctness of their own outputs. You will serve as a key member of a research team spanning theoretical computer science, machine learning, and formal verification.
Key Responsibilities
- Lead a research program on Provable AI Safety through Self-Proving Models.
- Advance AI safety research by building theoretical foundations and practical implementations.
- Help set the project's research direction, lead parallel research tracks, and supervise PhD students.