Staff AI Research Engineer - Formal Verification

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

Benefits offered by this job

Equity

Visa sponsorship

On-site in San Francisco

Competitive salary

Job summary

Reasonable is an applied AI research company building formal verification for super-human software development. We pursue correctness guarantees for AI-generated code, enabling provable correctness rather than plausibility.

Join a compact, technically deep team shaping the next frontier of formal reasoning and software engineering. As a Member of Technical Staff, you will influence research directions, develop capabilities at the intersection of training and formal methods, and help deliver

Qualifications

• Experience in ML experiments at scale or production ML backends.
• Familiarity with formal verification methods and verification tools.
• Ability to learn rapidly and adapt across ML and formal methods domains.

Responsibilities

• Help shape research vision and develop new capabilities at the frontier.
• Design evaluation paradigms for advanced coding models and verification.
• Build tooling to provide correctness guarantees in production software.

Skills

Machine learning

Formal methods

Software engineering

MLOps

Proof assistants

AI-assisted programming

Tools

Verus

Dafny

TLA+

LEAN

Isabelle

Job description

Reasonable is an applied AI research company building formal verification for super-human software development. We pursue correctness guarantees for AI-generated code, enabling provable correctness rather than plausibility.

Join a compact, technically deep team shaping the next frontier of formal reasoning and software engineering. As a Member of Technical Staff, you will influence research directions, develop capabilities at the intersection of training and formal methods, and help deliver