Applied Scientist - Formal Methods, EMEA

Join Mistral, a leading AI solutions provider, as an Applied Scientist - Research Engineer focused on formal methods. In this role, you will design, train, and deploy state-of-the-art large language models, collaborate with cross-functional teams, and manage research projects. Ideal candidates are fluent in English, experienced with PyTorch or JAX, and have a track record of success in personal or professional projects.

Responsibilities

• Pre-training, post-training, and deploying state-of-the-art models on large clusters.
• Generating and curating datasets for theorem proving and software verification, and building evaluators and benchmarks for formal reasoning.
• Collaborating with cross-functional teams to tackle complex use cases and managing research projects.