Staff Research Engineer — AI, ML & Formal Verification

Company: Reasonable
Apply for the Staff Research Engineer — AI, ML & Formal Verification
Location: London
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.

#J-18808-Ljbffr…

Posted: October 11th, 2026