ml engineer for formal methods

Описание:

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.

Задачи:

• 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

Требования:

• 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
• Будет плюсом:
• 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 vary by country and may include

• healthcare coverage
• parental leave
• retirement plans
• relocation support
• wellness programs
• meal and transportation allowances
• other location-specific perks