Forward Deployed Engineer (FDE)
Core
Founding Forward Deployed Engineer leading discovery, technical scoping, and proof-of-concept development for formal verification solutions at high-accountability engineering partners.
Role type
Founding Forward Deployed Engineer (FDE)
Builds
Proof-of-concept deployments and initial customer solutions for formal verification
Domain
Formal verification, machine learning, and software engineering
Deliverable
product features
Required skills
Formal methods or verification expertise, systems languages (Rust, Java/Kotlin, Go), specification-aware programming (Verus, Dafny, Viper), proof assistants (TLA+, Lean, Roq, Isabelle), relationship building with senior engineers and CTOs
Preferred skills
Experience with production back-end services at scale, accountability for distributed systems, active contribution to formal verification or program synthesis projects
Technologies
Rust, Java, Kotlin, Go, Verus, Dafny, Viper, TLA+, Lean, Roq, Isabelle
Responsibilities
Lead discovery by joining early customer meetings and owning technical scoping, diagnose system fit for verification and design proof-of-concept work, elicit real specifications from complex systems, identify recurring capability gaps to inform R&D direction, build trust while translating between partners and technical teams, stay hands-on building alongside the wider technical staff
Seniority
Founding, hands-on IC
