Staff Research Engineer — AI, ML & Formal Verification
- Location
- Greater London, England, United Kingdom
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. ...