Founding Forward Deployed Engineer

Reasonable AI

. Lead discovery by joining early customer meetings, owning technical scoping, and bringing research depth to prospective partner conversations .

Posted 11/11/2026full-timeSan Francisco • California • United StatesMid-LevelSeniorWebsite

Core Competencies

Role fit

Core Competencies

Use this summary to align your resume positioning with the role.

Demonstrates expertise in formal methods and verification, with hands-on experience in systems languages such as Rust and Java/Kotlin. Proven ability to translate complex specifications into actionable deployments while fostering relationships with senior engineering stakeholders.

Highest-signal resume keywords

Formal Methods ExpertiseSystems Languages ProficiencySpecification-Aware ProgrammingProof Assistants KnowledgeRelationship Building with Engineers

ATS Keywords

Tailor your resume

Applicant Tracking System Keywords

Tip: use these terms in your resume and cover letter to boost ATS matches.

Hard Skills

RustJavaKotlinGoVerusDafnyViperTLA+LeanRoq

Soft Skills

Building TrustComfort with AmbiguityHands-On ScrappinessRapid IterationWorld-Class Output

Tools & Technologies

Formal Verification ToolsDistributed SystemsProduction Back-End Services

Industry Keywords

High-Accountability Engineering CultureTechnical ScopingProof-of-Concept ProjectsCustomer SolutionsEngineering Teams

Tech Stack

Tools & technologies

AWSCloudDistributed SystemsJavaKotlinMongoDBRustGo

About the role

Key responsibilities & impact

Lead discovery by joining early customer meetings, owning technical scoping, and bringing research depth to prospective partner conversations
Diagnose which prospective partners’ systems are suitable for verification and proof-of-concept work
Design proof-of-concept projects and initial customer solutions
Translate observations and requirements into tightly scoped deployments
Identify recurring capability gaps across partners and inform research and development priorities
Elicit specifications from complex systems and engineering teams
Build trust while translating between prospective partners and the frontier of AI and formal verification
Remain hands-on as a technical staff member, building alongside the wider team
Help shape problem-solving approaches and patterns for future customer-facing hires

Requirements

What you’ll need

Experience inside or close to a high-accountability engineering culture similar to Stripe, Cloudflare, AWS, Datadog, or MongoDB
Familiarity with systems languages such as Rust, JVM languages such as Java/Kotlin, or cloud-native languages such as Go
Domain expertise in formal methods or verification, through research or practical application
Understanding of specification-aware programming, including Verus, Dafny, or Viper
Understanding of proof assistants and verification tools, including TLA+, Lean, Roq, or Isabelle
Experience building relationships with senior engineers and CTOs
Genuine interest in the commercial side of the work
Comfort with ambiguity, hands-on scrappiness, rapid iteration, and consistently world-class output
Active contribution to formal verification or program synthesis projects such as Verus, Lean, or Dafny is a bonus
Experience running production back-end services at scale is a bonus
Experience with distributed systems and their concurrency, consensus, and partial-failure modes is a bonus

Benefits

Comp & perks

Equity and additional benefits
Flexibility for customer and team travel
Visa sponsorship available in both geographies for the perfect candidate
Opportunity to build alongside deeply experienced founders
Well-funded company backed by industry-leading VCs and angels