The team is pioneering the integration of formal reasoning and neural approaches to build provably correct AI systems
Job Summary
The team is pioneering the integration of formal reasoning and neural approaches to build provably correct AI systems.
You will define the product vision for a platform that enables developers and AI agents to formally verify correctness and enforce guarantees.
The role requires translating complex technical capabilities in formal verification into elegant, accessible experiences for customers ranging from enterprises to individual developers.
Matching Summary
The team is pioneering the integration of formal reasoning and neural approaches to build provably correct AI systems.
Salary
Not specified; Not specified; Not specified
Skills & Requirements
Must-have
Formal verification expertise
Neurosymbolic AI knowledge
Lean theorem prover experience
Product vision definition
Customer problem translation
Nice-to-have
Mathematical background
Type theory familiarity
Startup mindset in enterprise
Cross-disciplinary collaboration
Research publication experience
Key Requirements
Deep understanding of customer problems around AI trust
Ability to read research papers and sketch system architecture
Experience balancing near-term wins with long-term platform investments