AI for formal math researcher at Mistral AI

Stream: job postings

[Albert Jiang]

I’m thrilled to announce Mistral AI’s new formal math team following our $2B funding round.

AI for formal math researchers wanted. We offer:

• Work on creating the state-of-the-art prover, autoformalizer, and automatic proof agent all in one model
• World class team (@Jason Rute @Simon Sorg @Maxime Darrin, and myself, with support from @Guillaume) and a huge bias for action
• Hundreds of GPUs per capita with Mistral’s bleeding edge reinforcement learning pipeline (responsible for Magistral and Magistral 1.2)
• Open research with publications
• Industry-leading salary
• Offices in Paris, London, and Palo Alto

To apply: Send your CV and best work on AI and/or formal math to aj@mistral.ai.