Summary: 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). Required Skills: Postdoctoral Researcher (PhD) - FAIR - Core Learning Responsibilities: 1. Innovate, lead, and execute pioneering research to push the state-of-the-art in generative models and LLM performance 2. Systematically perform independent re…