Research Scientist, AI Verification

Meta is looking for Research Scientists to join our AI Verification team. For these positions we are looking for people with experience in model training or agentic AI to complement the verification expertise in our team. The candidate will have experience in building trustworthy and reliable AI models and agents, including designing comprehensive evaluation benchmarks, optimizing training processes, and ensuring high-quality data pipelines. The candidate will help to create and evaluate data and environments to train ML models, and benchmarks to judge agents and models. The overall focus of the team is on using formal program verification to make AI better (safer, more reliable), and on using AI to make formal verification better (more feasible); these ML roles will be pivotal in connecting symbolic verification to neural AI.