R
Reasonable AI Seed
Forward Deployed Engineer
London On-site Added Jul 21
About the role
Reasonable AI builds formal verification tools for post-human software development, enabling provably correct code for AI-generated and human-written software. Backed by Oriol Vinyals (AlphaGo co-creator) and Zoubin Ghahramani. As the founding Forward Deployed Engineer, you shape problem-solving approaches for design partners alongside leadership: lead customer discovery meetings, scope technical requirements, diagnose system fitness for verification work, design proof-of-concept solutions, identify capability gaps to inform R&D, and extract specifications from complex engineering systems. Requires formal methods expertise (Verus, Dafny, Viper, TLA+, Lean). Generous salary + equity. London or San Francisco. Visa sponsorship available.
Industry
AI / Formal Verification / Developer Tools
Top skills for this role
- Formal verification tools (Verus/Dafny/TLA+/Lean)
- 2. Customer technical discovery and scoping
- 3. Safety-critical systems expertise
Languages
RustJavaKotlinGo
Frameworks & tools
VerusDafnyViperTLA+LeanRoqIsabelle
AI / ML skills
AI-generated code verificationagentic software development
Customer skills
Customer discovery leadership, technical scoping, design partner engagement
Domain knowledge
Formal methods, safety-critical systems, high-accountability engineering
Travel: Not specified
Equity: Yes
You'll be redirected to Reasonable AI's career page.
Want to be matched directly?
Join the network