TheJobsMap
About Cajal
Cajal (YC W26) is massively scaling formal verification to accelerate scientific discovery. We deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance. We do this with Lean - a framework that allows us to formally verify any mathematical statement, grounding AI in truth and validating the tools discovered by our systems.
- Founded
- 2026
- Employees
- 2
- Headquarters
- San Francisco
Leadership
The top of Cajal's org chart, with how many people report into each leader.
LJ
Luke Johnston
Co-Founder
Jobs at Cajal
No open positions right now. Explore more companies on TheJobsMap.