Applied Scientist - Research Engineer (Formal Methods), EMEA
Mistral AI · Paris · London
Frontier labonsite
At a glance
Highlights
- Run pre-training, post-training and deploy SOTA models on large clusters.
- Generate and curate datasets for theorem proving and software verification.
- Build evaluators and benchmarks for formal reasoning.
What they offer
- Healthcare coverage
- Parental leave
- Retirement plans
- Relocation support
- Wellness programs
- Meal and transportation allowances
Ideal candidate
Low-ego, collaborative researcher who moves independently through uncertainty and loves formal reasoning. Motivated by high-impact AI and explaining complex ideas clearly to any audience.
Requirements
- Fluent in English with excellent communication skills
- Expert with PyTorch or JAX
- Able to contribute to a large codebase independently with little guidance
- Writes clean, readable, high-performance, fault-tolerant Python code
- Moves independently and navigates uncertainty with confidence
- Low-ego, collaborative and eager to learn
- Track record of success through personal, professional or academic projects
Lab profile
About Mistral AI
Provides full-stack AI solutions from frontier models to tools, applications, and compute.
What they build
- Frontier AI models
- Developer tools
- AI applications
Known for
- Full-stack AI development
- Enterprise co-creation and deployment
- Customizable systems that run on customer terms
- Focus on finance, manufacturing, defense, healthcare and public sector
Posted · Last seen