Research Scientist, AI Verification

Meta · Big Tech · Paris, France +1

Research Scientist focused on AI Verification, bridging formal program verification with machine learning and agentic AI. The role involves designing evaluation benchmarks, optimizing training processes, and ensuring data quality for trustworthy AI models and agents. Collaboration with verification experts and ML/agentic experts across Meta is key, with a focus on publications and open-sourcing.

What you'd actually do

Lead, collaborate, and execute on research that pushes forward the state of the art in Ai Reasoning and Verification
Collaborate with verification experts in the team as well as machine learning and agentic experts across AI research teams across Meta
Work towards long-term ambitious research goals, while identifying intermediate milestones
Directly contribute to experiments, including designing experimental details, implementing reusable code, and designing and running evaluations
Contribute to publications and open-sourcing efforts

Skills

Required

PhD in Computer Science, Artificial Intelligence, Machine Learning, or a related field
Experience in ML model evaluation
Experience in training pipelines
Experience in benchmark and agent design and evaluation
Publications in areas of Machine Learning, AI, or related fields
First-author publications at peer-reviewed AI conferences
Experience with large-scale training infrastructure
Experience with data pipelines
Experience designing and implementing evaluation benchmarks for large AI models or agents
Experience with formal verification or automatic program analysis
Work authorization in the country of employment

Nice to have

Experience in agentic AI

What the JD emphasized

Must obtain work authorization in the country of employment at the time of hire, and maintain ongoing work authorization throughout employment
First-author publications at peer-reviewed AI conferences (e.g. NeurIPS, ICML, ICLR, *ACL, EMNLP)

Other signals

AI Verification
formal program verification
connecting symbolic verification to neural AI
designing comprehensive evaluation benchmarks
optimizing training processes
ensuring high-quality data pipelines
create and evaluate data and environments to train ML models
benchmarks to judge agents and models

Read full job description

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.

Responsibilities

Lead, collaborate, and execute on research that pushes forward the state of the art in Ai Reasoning and Verification Collaborate with verification experts in the team as well as machine learning and agentic experts across AI research teams across Meta Work towards long-term ambitious research goals, while identifying intermediate milestones Directly contribute to experiments, including designing experimental details, implementing reusable code, and designing and running evaluations Contribute to publications and open-sourcing efforts Mentor other team members and collaborate with cross-functional partners to align on research goals and deliverables

Qualifications

Currently has or is in the process of obtaining a PhD in the field of Computer Science, Artificial Intelligence, Machine Learning, or a related field Experience in ML model evaluation, training pipelines, or benchmark and agent design and evaluation Publications in areas of Machine Learning, AI, or related fields Must obtain work authorization in the country of employment at the time of hire, and maintain ongoing work authorization throughout employment First-author publications at peer-reviewed AI conferences (e.g. NeurIPS, ICML, ICLR, *ACL, EMNLP) Experience with large-scale training infrastructure and data pipelines Experience designing and implementing evaluation benchmarks for large AI models or agents Experience with formal verification or automatic program analysis