Postdoctoral Researcher (PhD) - FAIR - Core Learning

Meta's Fundamental AI Research (FAIR) organization is seeking a postdoctoral researcher to drive advancements in generative models, with a particular focus on Reinforcement Learning in large language models (LLMs) and/or formal math (Lean).

Responsibilities

• Innovate, lead, and execute pioneering research to push the state-of-the-art in generative models and LLM performance
• Systematically perform independent research, quickly adapting to new developments in the field
• Directly contribute to the experimental process, including designing details, implementing reusable code, running evaluations, and organizing results
• Contribute to publications, open-sourcing initiatives, and mentor other team members
• Ensure effective cross-functional collaboration

Qualifications

• Currently possess or be pursuing a PhD in Computer Science, Mathematics, or a similar quantitative discipline
• Demonstrated experience with training, fine-tuning, and experimentation on foundation models beyond black-box usage
• Must be able to obtain and maintain work authorization in the country of employment Expertise in RL for LLMs and/or Lean (formal mathematics)
• Holds first-author publications at peer-reviewed AI conferences (e.g., NeurIPS, ICML, ICLR)