About this role
Forward Deployed Engineer (FDE) at Reasonable. Location: London or San Francisco. Role: leading discovery, designing POCs, eliciting specifications Requirements: Experience in high-accountability engineering cultures; familiarity with Rust, Java/Kotlin, or Go; domain expertise in formal methods or verification; knowledge of specification-aware programming and proof assistants; strong communication with senior engineers/CTOs. Category: Engineering Seniority: Senior Level Tools: Rust, Java, Kotlin, Go, Verus, Dafny, Viper, TLA+, Lean, Roq, Isabelle Commitment: Full Time Workplace: Onsite Languages: English