Applied Scientist — Formal Methods & LLMs

Lindus Health Limited; Greater London; On-site; GBP 120,000 - 180,000; Full time

Job summary

Mistral AI in the United Kingdom is seeking Applied Scientists and Research Engineers focused on formal methods. You will design, train, and deploy state-of-the-art large language models and apply them to diverse use cases, working across science, engineering and product teams to deliver high-impact AI solutions.

We value fluent English, strong Python, and experience with PyTorch or JAX. You should navigate large codebases independently while collaborating with colleagues in a distributed,

Qualifications

• Fluent in English with ability to explain complex concepts clearly.
• Strong experience with PyTorch or JAX and Python coding.
• Experience with large codebases and independent work.

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.

Skills

PyTorch or JAX

Python

English communication

Independent working

Collaborative

Education

PhD / Master in Computer Science / Mathematics / ML

Job description

Mistral AI in the United Kingdom is seeking Applied Scientists and Research Engineers focused on formal methods. You will design, train, and deploy state-of-the-art large language models and apply them to diverse use cases, working across science, engineering and product teams to deliver high-impact AI solutions.

We value fluent English, strong Python, and experience with PyTorch or JAX. You should navigate large codebases independently while collaborating with colleagues in a distributed,