Mistral.ai is seeking an Applied Scientist - Research Engineer focusing on formal methods to enhance their AI solutions. The role involves designing and deploying advanced language models, generating datasets for theorem proving, and developing tools for model training and evaluation. Candidates should possess a strong command of PyTorch or JAX, along with excellent communication skills and a collaborative spirit.