Meta
AI

Research Scientist, AI, Formal and informal Reasoning

Meta · Paris, A8, FR

Actively hiring Posted 2 days ago

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

Basic qualifications

  • Holds a PhD in the field of Computer Science, Mathematics, or similar quantitative field
  • Experience training and evaluating large models on State-of-the-Art codebases and developing new architectures, losses and training recipes
  • First-author publications at peer-reviewed AI conferences (e.g. NeurIPS, ICML, ICLR)
  • Experience in training, fine-tuning, and/or experimenting with foundation models beyond black-box use
  • Experience working with SOTA Reinforcement Learning codebases and familiarity with one or more Machine Learning frameworks (e.g. pytorch, VERL, …)
  • Must obtain work authorization in the country of employment at the time of hire, and maintain ongoing work authorization during employment

Preferred qualifications

  • Familiarity with the Lean 4 language and ecosystem and mathematical expertise
  • Experience with communicating complex research for public audiences of peers

About the company

Meta builds technologies that help people connect, find communities, and grow businesses. When Facebook launched in 2004, it changed the way people connect. Apps like Messenger, Instagram and WhatsApp further empowered billions around the world. Now, Meta is moving beyond 2D screens toward immersive experiences like augmented and virtual reality to help build the next evolution in social technology. People who choose to build their careers by building with us at Meta help shape a future that will take us beyond what digital connection makes possible today—beyond the constraints of screens, the limits of distance, and even the rules of physics.

Individual compensation is determined by skills, qualifications, experience, and location. Compensation details listed in this posting reflect the base hourly rate, monthly rate, or annual salary only, and do not include bonus, equity or sales incentives, if applicable. In addition to base compensation, Meta offers benefits. Learn more about benefits at Meta.

Tags & focus areas

Used for matching and alerts on DevFound
Ai