Research Scientist (AI Verification)

TL;DR

Research Scientist (AI Verification): Leading research in AI reasoning and verification, designing evaluation benchmarks for models and agents with an accent on formal verification and automatic program analysis. Focus on implementing reusable training code and optimizing data pipelines to ensure model reliability and correctness.

Location: Paris, France | London, UK

Salary: GBP 255K-325K (estimate)

What you will do

• Lead research in AI reasoning and verification, mentoring team members and aligning research deliverables.
• Design and create evaluation benchmarks, environments, and experiments for models and agents.
• Implement reusable training and evaluation code to standardize research processes.
• Optimize training processes and data pipelines for improved performance.
• Collaborate with machine learning experts and contribute to academic publications and open-source projects.

Requirements

• Expertise in AI reasoning, formal verification, and automatic program analysis.
• Experience with Natural Language Processing (NLP) and large-scale model training.
• Ability to design complex evaluation plans and benchmarks.
• Strong skills in implementing data pipelines and training infrastructure.