# Applied Scientist - Research Engineer (Formal Methods), EMEA at Mistral AI

- Company: Mistral AI
- Status: Open
- Workplace: On-site
- Location: Paris · London
- Level: Mid-level
- Discipline: AI & ML
- Employment: Full-time
- Posted: 2026-10-20
- Skills: Solutions, Applied Science
- Apply: https://jobs.ashbyhq.com/mistral.ai/d722e1e1-dcc6-489b-a3b5-ecc6813ca374

## Description

ABOUT MISTRAL

Mistral provides full-stack AI solutions: from frontier models to developer tools, applications, and compute. We partner with enterprises tackling the hardest problems across high-stakes industries like finance, manufacturing, defense, healthcare, and the public sector, co-creating customized AI systems that they can run on their terms.

We are a dynamic, collaborative team passionate about AI and its potential to transform society. Our diverse workforce thrives in competitive environments and is committed to driving innovation. Our teams are distributed between Europe, North America, Asia and the Middle East. We are creative, low-ego and team-spirited.




THE ROLE

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.

 


WHAT YOU WILL DO

 - 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.

 - Develop the necessary tools and frameworks to facilitate data generation, model training, evaluation and deployment.

 - Collaborate with cross-functional teams to tackle complex use cases.

 - Manage research projects and communications with client research teams.
   
    


WHAT WE'RE LOOKING FOR

 - Fluent in English with e

More Mistral AI roles: https://deviantjobs.com/companies/mistral-ai