Applied Scientist - Formal Methods, EMEA

Mistral AI is seeking Applied Scientists and Research Engineers focused on formal methods. You will design, train, and deploy SOTA large language models and apply them to diverse use cases.

You'll work cross-functionally with internal and external science, engineering, and product teams to deliver high-impact AI solutions.

• Run pre-training, post-training and deploy state of the art models on large clusters.
• Generate and curate datasets for theorem proving and software verification, and build evaluators and benchmarks for formal reasoning.