Description
Meta's Fundamental AI Research (FAIR) organization is seeking a postdoctoral researcher to advance generative models, with a focus on reinforcement learning in large language models and/or formal mathematics using Lean. The role involves independent research, experimental design, implementation, evaluation, publication, open-sourcing, mentoring, and cross-functional collaboration. Candidates must have a current or pursuing PhD in computer science, mathematics, or a similar quantitative discipline, experience training, fine-tuning, and experimenting with foundation models, and valid work authorization in the country of employment.
