mistral.ai - Applied Scientist - Research Engineer (Formal Methods), EMEA

Paris1w ago

In Office EMEA Artificial Intelligence Applied Scientist Research Engineer PyTorch JAX Python

Requirements

• Fluent in English with excellent communication skills — at ease explaining complex technical concepts to both technical and non-technical audiences. • Expert with PyTorch or JAX. • Not afraid of contributing to a big codebase; finds their way around independently with little guidance. • Writes clean, readable, high-performance, fault-tolerant Python code. • Doesn’t need roadmaps: moves independently and navigates uncertainty with confidence. • Low-ego, collaborative and eager to learn. • Track record of success through personal projects, professional projects or academia. • PhD / Master in a relevant field (Computer Science, Mathematics, 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. • Enjoys improving existing code: typing, tests, CI pipelines.

Responsibilities

• 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 tools and frameworks to facilitate data generation, model training, evaluation and deployment. • Collaborate with cross-functional teams to tackle complex use cases. • Manage research projects and communications with client research teams.

Benefits

• We offer a comprehensive benefits package designed to support your well-being, growth, and work-life balance. 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. • For the most up-to-date details on benefits available in your location, please refer to our Benefits page https://app.notion.com/p/mistralai/Benefits-at-Mistral-36e6ba59a7fe836b93dd01737fcc27ef?source=copy_link. • Your privacy matters to us. You can learn more about how we handle your personal data in our Applicant Privacy Policy https://legal.mistral.ai/terms/applicant-privacy-policy.