Frontline AI Verification Engineer

Reasonable; San Francisco, Northern (CA, KY); Hybrid; USD 180,000 - 260,000; Full time

Benefits offered by this job

Equity

Job summary

Reasonable is an applied AI research company building formal verification for super-human software development. We pursue correctness guarantees for AI-assisted code, blending research, training models, and product efforts to transform software engineering.

As a founding Forward Deployed Engineer, you will shape how we solve problems for partners, translating requirements into deployable, scalable verification solutions.

Qualifications

• Experience in high-accountability engineering environments and a track record of rigorous software verification.
• Exposure to research or practical application of formal methods and verification tools.

Responsibilities

• Lead discovery by joining early customer meetings, owning technical scoping, and bringing research depth to partner conversations.
• Diagnose which partner systems are fit for verification and proof-of-concept work.
• Design POCs and initial customer solutions translating observations into tightly scoped deployments.
• Identify capability gaps and feed signals into future research and development directions.
• Elicit real specifications from complex systems and build trust between partners and the verification frontier.
• Stay hands-on as a core technical staff member, end-to-end.

Skills

High‑accountability culture

Systems languages (Rust/JVM/Go)

Formal methods/verification

Specification-aware programming

Customer-facing relationships

Tools

Verus

Dafny

Viper

TLA+

Lean

Isabelle

Roq

Job description

Reasonable is an applied AI research company building formal verification for super-human software development. We pursue correctness guarantees for AI-assisted code, blending research, training models, and product efforts to transform software engineering.

As a founding Forward Deployed Engineer, you will shape how we solve problems for partners, translating requirements into deployable, scalable verification solutions.