Applied Scientist, Formal Methods - EMEA

Mistral AI is seeking Applied Scientists and Research Engineers focused on formal methods to design, train, and deploy SOTA large language models. You will work across science, engineering, and product teams to deliver high-impact AI solutions.

Ideal candidates are fluent in English, proficient with PyTorch or JAX, write clean Python, and can navigate large codebases independently while collaborating with client teams on complex use cases.