Research Scientist, AI, Formal and informal Reasoning

Meta is seeking a Research Scientist to join its Fundamental AI Research (FAIR) organization, focused on making significant advances in LLMs reasoning, using reinforcement learning, synthetic data generation and advanced scaffolding/agentic techniques, partially with a focus on formal and informal maths. You will have the opportunity to work with a broad and highly interdisciplinary team of scientists, engineers, and cross-functional partners, and will have access to cutting edge technology, important resources, and research facilities.
Research Scientist, AI, Formal and informal Reasoning Responsibilities
Lead, collaborate, and execute on research that pushes forward the state of the art in reasoning research, with an initial focus on formal and informal mathematical reasoning
Work towards long-term high-stakes research goals, while identifying intermediate milestones
Directly contribute to experiments, including designing experimental details, implement reusable code, running evaluations, and organizing results
Contribute to publications and open-sourcing efforts
Mentor other team members. Play a significant role in healthy cross-functional collaboration

Minimum Qualifications:

Holds a PhD in the field of Computer Science, Mathematics, or similar quantitative field
Experience training and evaluating large models on State-of-the-Art codebases and developing new architectures, losses and training recipes
First-author publications at peer-reviewed AI conferences (e.g. NeurIPS, ICML, ICLR)
Experience in training, fine-tuning, and/or experimenting with foundation models beyond black-box use
Experience working with SOTA Reinforcement Learning codebases and familiarity with one or more Machine Learning frameworks (e.g. pytorch, VERL, …)
Must obtain work authorization in the country of employment at the time of hire, and maintain ongoing work authorization during employment

Preferred Qualifications:

Familiarity with the Lean 4 language and ecosystem and mathematical expertise
Experience with communicating complex research for public audiences of peers

About Meta

Meta builds technologies that help people connect, find communities, and grow businesses. When Facebook launched in 2004, it changed the way people connect. Apps like Messenger, Instagram and Whats App further empowered billions around the world. Now, Meta is moving beyond 2D screens toward immersive experiences like augmented and virtual reality to help build the next evolution in social technology. People who choose to build their careers by building with us at Meta help shape a future that will take us beyond what digital connection makes possible today—beyond the constraints of screens, the limits of distance, and even the rules of physics.

Equal Employment Opportunity:

Meta is proud to be an Equal Employment Opportunity employer. We do not discriminate based upon race, religion, color, national origin, sex (including pregnancy, childbirth, reproductive health decisions, or related medical conditions), sexual orientation, gender identity, gender expression, age, status as a protected veteran, status as an individual with a disability, genetic information, political views or activity, or other applicable legally protected characteristics. You may view our Equal Employment Opportunity notice here.
Meta is committed to providing reasonable accommodations for qualified individuals with disabilities and disabled veterans in our job application procedures. If you need assistance or an accommodation due to a disability, fill out the Accommodations request form.
Apply for this job
Take the first step toward a rewarding career at Meta.