Applied Scientist - Formal Methods & LLMs

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,