Staff Research Engineer — AI, ML & Formal Verification

Reasonable; Greater London; Hybrid; GBP 120,000 - 180,000; Full time

Benefits offered by this job

Equity

Visa sponsorship

On-site team

Job summary

Reasonable is an applied AI research company building formal verification for super-human software development. We seek a Member of Technical Staff to shape research, enginee r features, and deliver correctness guarantees at scale.

Ideal candidates bring deep expertise in ML or formal methods, plus strong software engineering. You will work across novel training approaches and formal methods with a compact, talent-dense team in London, with visa sponsorship and equity benefits.

Qualifications

• Deep expertise in ML or formal methods with interest in the other.
• Experience running ML experiments, ideally at scale.
• Experience post-training large language models and AI-assisted coding.

Responsibilities

• Shape the research vision and develop capabilities at the frontier.
• Contribute to tooling that enables formal correctness in production software.
• Collaborate across research, engineering, and product teams.

Skills

ML expertise

Formal methods

Fast learner

Experimentation

Software engineering

MLOps familiarity

Claude Code experience

Tools

Verus

Dafny

TLA+

LEAN

Isabelle

Job description

Reasonable is an applied AI research company building formal verification for super-human software development. We seek a Member of Technical Staff to shape research, enginee r features, and deliver correctness guarantees at scale.

Ideal candidates bring deep expertise in ML or formal methods, plus strong software engineering. You will work across novel training approaches and formal methods with a compact, talent-dense team in London, with visa sponsorship and equity benefits.