Research Scientist, AI, Formal and informal Reasoning

Job description

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. 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 Qualifications: Holds a PhD in the field of Computer Science, Mathemat...