At a Glance
- Tasks: Design and deploy cutting-edge AI models while collaborating with diverse teams.
- Company: Join Mistral, a dynamic leader in full-stack AI solutions.
- Benefits: Enjoy comprehensive benefits, including healthcare, wellness programs, and work-life balance support.
- Other info: Opportunities for growth in a collaborative, low-ego environment.
- Why this job: Make a real impact in high-stakes industries with innovative AI technology.
- Qualifications: Expertise in PyTorch or JAX and strong communication skills required.
The predicted salary is between 72000 - 88000 £ per year.
About Mistral
Mistral provides full-stack AI solutions: from frontier models to developer tools, applications, and compute.
We partner with enterprises tackling the hardest problems across high-stakes industries like finance, manufacturing, defense, healthcare, and the public sector, co-creating customized AI systems that they can run on their terms.
We are a dynamic, collaborative team passionate about AI and its potential to transform society.
Our diverse workforce thrives in competitive environments and is committed to driving innovation.
Our teams are distributed between Europe, North America, Asia and the Middle East.
We are creative, low-ego and team-spirited.
The Role
Mistral AI is seeking Applied Scientists and Research Engineers focused on formal methods.
You will design, train, and deploy SOTA large language models and apply them to diverse use cases.
You'll work cross-functionally with internal and external science, engineering, and product teams to deliver high-impact AI solutions.
What You Will Do
- 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.
What We're Looking For
- Fluent in English with excellent communication skills — at ease explaining complex technical concepts to both technical and non-technical audiences.
- Expert with Py Torch or JAX.
- Not afraid of contributing to a big codebase; finds their way around independently with little guidance.
- Writes clean, readable, high-performance, fault-tolerant Python code.
- Doesn’t need roadmaps: moves independently and navigates uncertainty with confidence.
- Low-ego, collaborative and eager to learn.
- Track record of success through personal projects, professional projects or academia.
- Nice to have
- Ph D / Master in a relevant field (Computer Science, Mathematics, Machine Learning).
- Experience with autoformalization, proof automation, or verified code generation.
- Experience with reinforcement learning using verifiable rewards, ideally from Lean or other proof assistants.
- Contributions to a large open-source or industry codebase.
- Publications in top academic journals or conferences.
- Enjoys improving existing code: typing, tests, CI pipelines.
What we offer
We offer a comprehensive benefits package designed to support your well-being, growth, and work-life balance.
Benefits vary by country and may include healthcare coverage, parental leave, retirement plans, relocation support, wellness programs, meal and transportation allowances, and other location-specific perks.
For the most up-to-date details on benefits available in your location, please refer to our Benefits page.
Privacy Policy
Your privacy matters to us. You can learn more about how we handle your personal data in our Applicant Privacy Policy.
Applied Scientist - Formal Methods, EMEA in London employer: Mistral
Mistral is an exceptional employer that fosters a dynamic and collaborative work culture, where innovation thrives and diverse teams come together to tackle complex challenges in AI. As a Recruiting Operations Manager, you will benefit from a comprehensive package of perks tailored to support your well-being and professional growth, all while working in a company that values creativity and continuous improvement. With opportunities for meaningful contributions and a commitment to employee development, Mistral stands out as a rewarding place to advance your career in a rapidly evolving industry.
StudySmarter Expert Advice🤫
We think this is how you could land Applied Scientist - Formal Methods, EMEA in London
✨Join Local Tech Meetups
Get out there and mingle with fellow developers by joining local tech meetups. It’s a fantastic way to meet people who might be working at Mistral or know someone who does. Plus, you can pick up some trendy tech skills and trends while you're at it!
✨Contribute to Open Source Projects
Show off your coding chops by jumping into open-source projects. Not only does this give you practical experience, but it also gets you noticed in the dev community. You'll create a killer portfolio that speaks volumes about your skills to Mistral.
✨Tap into Online Developer Communities
Don’t underestimate the power of online developer communities like GitHub, Stack Overflow, and even Reddit. Participate in discussions, share your projects, and build your visibility. We can often find opportunities through these channels that can lead to a full-time gig at companies like Mistral.
✨Explore Job Boards Specifically for Tech Roles
Keep your eyes peeled on job boards that focus on tech roles. Sites like TechCareers or Stack Overflow Jobs can often have listings for companies like Mistral that might not show up on broader job sites. Make it a habit to check these regularly, and don’t hesitate to apply directly through our website!
We think you need these skills to ace Applied Scientist - Formal Methods, EMEA in London
Some tips for your application 🫡
Show off your coding skills:When applying for a software engineering role, it's super important to showcase your coding skills. Make sure your CV includes your tech stack, any relevant programming languages you’re comfortable with, and examples of projects you've worked on. If you have a GitHub profile, link it up! We love to see code in action.
Tailor your portfolio:For a full-time role, we’d expect to see some solid examples of your work in your portfolio. Make sure to include at least two or three projects that highlight your problem-solving skills and your ability to work with different technologies. Focus on the projects that are most relevant to the position at Mistral.
Craft a killer cover letter:Your cover letter is your chance to stand out—make it personal! Explain why you want to work at Mistral and how your skills align with the role. Show us your passion for software development. We dig enthusiastic candidates who understand the value of collaboration and continuous learning!
Be clear and concise:When it comes to writing your CV and cover letter, clarity is key. Avoid jargon that could confuse us and stick to simple, direct language. Highlight your achievements with quantifiable results where possible, and keep everything easy to read. A well-organised application goes a long way!
How to prepare for a job interview at Mistral
✨Brush Up on Your Coding Skills
For a full-time software engineering role, it's crucial that we stay sharp with our coding abilities. Expect technical questions that might involve solving problems on the spot or discussing algorithms. Practise on platforms like LeetCode or HackerRank to get comfortable with the types of questions that often come up.
✨Know Your Tools and Frameworks
Make sure we’re well-acquainted with the tools and technologies listed in the job description. Familiarise ourselves with any specific frameworks or programming languages mentioned. If Mistral uses React or Node.js, for instance, be ready to discuss how we’ve used them in previous projects or coursework.
✨Showcase Your Projects
Bring along a portfolio that highlights our best work. This could be code samples, GitHub repositories, or any side projects we’ve built. Make sure we can talk through our thought process for each project, especially the challenges we faced and how we solved them—this shows our problem-solving skills in action.
✨Prepare for Behavioural Questions
While technical skills are key, full-time positions also require cultural fit. Be ready to discuss our previous experiences and how we handle teamwork, conflict, and deadlines. Brush up on the STAR method—Situation, Task, Action, Result—to clearly articulate our past experiences when discussing how we've contributed to a team.
