Applied Scientist - Formal Methods, EMEA
Mistral is hiring for Applied Scientist - Formal Methods, EMEA in Paris. Senior level. First seen October 21, 2026; open as of November 9, 2026. Jobs taken straight from company career pages — no aggregator in between.
With Destava: How well do you fit? · Tailor my résumé · Write a cover letter
- Company
- Mistral
- Where
- Paris
- Level
- Senior
- First seen
- October 21, 2026
- Listed via
- Ashby
What the posting says
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…
Read more and apply on Mistral's site
More jobs like this
A search agent finds the jobs this list misses: the ones that mean the same without the same words. Have Destava watch for applied scientist - formal methods, emea jobs in Paris, new matches every morning on your own account.