AI Research Engineer - Formal Verification
Listed on 2026-10-17
-
Software Development
Software Engineer
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
This posting is for the Staff AI Research Engineer
- Formal Verification role at Reasonable, based in San Francisco, CA, United States.
Take a moment to read everything above and see whether this role is right for you.
We are looking to fill the Staff AI Research Engineer
- Formal Verification position at Reasonable in San Francisco, CA, United States.
The Staff AI Research Engineer
- Formal Verification role at Reasonable is now open for applications in San Francisco, CA, United States.
(If this job is in fact in your jurisdiction, then you may be using a Proxy or VPN to access this site, and to progress further, you should change your connectivity to another mobile device or PC).