Staff Research Engineer - AI, ML & Formal Verification

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.