Applied Scientist Research Engineer Formal Methods
Mistral AIVisit Mistral AI website
Paris-based AI company building frontier models, AI applications, developer tools, and compute infrastructure for enterprise and public-sector deployments.
Paris, France
About Mistral AI
Mistral AI develops open-weight and commercial language models and provides a full-stack AI platform spanning agents, application development, custom-model training, APIs, and AI cloud infrastructure.
Skills
About the Role
You will design, train, and deploy state-of-the-art language models for formal methods use cases. You will curate datasets for theorem proving and software verification, build formal-reasoning benchmarks, develop training and deployment tools, collaborate on complex use cases, and manage client research projects.
Requirements
- Fluency in English
- Excellent communication skills
- Expertise in PyTorch or JAX
- Ability to contribute independently to a large codebase
- Ability to write clean, readable, high-performance, fault-tolerant Python code
- Track record of success through personal projects, professional projects, or academia
Responsibilities
- Run pre-training, post-training, and deployment of state-of-the-art models on large clusters
- Generate and curate datasets for theorem proving and software verification
- Build evaluators and benchmarks for formal reasoning
- Develop tools and frameworks for data generation, model training, evaluation, and deployment
- Collaborate with cross-functional teams on complex use cases
- Manage research projects and communications with client research teams
Benefits
- Healthcare coverage
- Parental leave
- Retirement plans
- Relocation support
- Wellness programs
- Meal allowances
- Transportation allowances
- Location-specific perks