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