Research Scientist, AI, Formal and informal Reasoning

**Summary:**
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.
**Required Skills:**
Research Scientist, AI, Formal and informal Reasoning Responsibilities:
1. 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
2. Work towards long-term high-stakes research goals, while identifying intermediate milestones
3. Directly contribute to experiments, including design...