About Mistral
Mistral provides full-stack AI solutions, from frontier models to developer tools, applications, and compute. It partners with enterprises in high-stakes industries to co-create customized AI systems that they can run on their own terms.
Responsibilities
•Run pre-training and 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 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
Requirements
•Fluent in English with excellent communication skills; able to explain complex technical concepts to technical and non-technical audiences
•Expert in PyTorch or JAX
•Able to contribute to a large codebase and navigate it independently with little guidance
•Writes clean, readable, high-performance, fault-tolerant Python code
•Works independently and navigates uncertainty with confidence
•Collaborative, low-ego, and eager to learn
•Track record of success through personal projects, professional projects, or academia
Nice to have
•A PhD or Master's in a relevant field (Computer Science, Mathematics, or Machine Learning)
•Experience with autoformalization, proof automation, or verified code generation
•Experience with reinforcement learning using verifiable rewards (ideally from Lean or other proof assistants)
•Contributions to a large open-source or industry codebase
•Publications in top academic journals or conferences
•Interest in improving existing code through typing, tests, and CI pipelines
Benefits
Benefits vary by country and may include healthcare coverage, parental leave, retirement plans, relocation support, wellness programs, meal and transportation allowances, and other location-specific perks.
