Applied Scientist, EMEA — AI & Formal Methods

Mistral; Greater London; Hybrid; GBP 90,000 - 130,000; Full time

Job summary

Mistral AI is seeking Applied Scientists and Research Engineers focused on formal methods. You will design, train, and deploy SOTA large language models and apply them to diverse use cases.

You will work cross-functionally with internal and external science, engineering, and product teams to deliver high-impact AI solutions and collaborate on data generation, evaluation, and deployment.

Qualifications

• Fluent in English with excellent communication skills.
• Expert with PyTorch or JAX.
• Not afraid of contributing to a big codebase; works independently with minimal guidance.
• Writes clean, readable, high-performance Python code.
• Track record of success through personal projects, professional projects or academia.

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 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.

Skills

Fluent English

Independent工作

Education

PhD or Master in CS/Math/ML

Tools

PyTorch

JAX

Job description

Mistral AI is seeking Applied Scientists and Research Engineers focused on formal methods. You will design, train, and deploy SOTA large language models and apply them to diverse use cases.

You will work cross-functionally with internal and external science, engineering, and product teams to deliver high-impact AI solutions and collaborate on data generation, evaluation, and deployment.