Global AI MapJOBS / Mistral AI
Applied Scientist - Research Engineer (Formal Methods), EMEA
Paris; London
Role
The role involves designing, training, and deploying state-of-the-art large language models for formal methods applications. Candidates must be experts in PyTorch or JAX and capable of writing high-performance Python code.
Location: Paris; London
Employment: unspecified
Work pattern: unspecified
Seniority: unspecified
APPLY ON THE EMPLOYER’S SITE ↗
Source and currency
This vacancy came from the organization’s official Ashby feed. Source update: 2026-10-20T15:56:56.576+00:00. Check the employer’s page for the complete description, current availability and application terms.