Cajal
YC W26Scaling formal verification to accelerate scientific discovery
San Francisco, CA, USAFounded 20262 employeescaj.al
Team
2
Founded
2026
About
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.
Tags
Dev Tools
No open roles at this time.
Similar Dev Tools startups
21st
Infrastructure and UI building blocks for the agentic internet
Open Jobs —
Team 3
Founded 2025
Aemon
The Forward-Deployed AI Research Engineer
Open Jobs —
Team 3
Founded 2026
Ashr
Automated Multi-Modal Testing for Agents
Open Jobs —
Team 2
Founded 2026
Aurorin CAD
Claude code for Mechanical Engineers
Open Jobs —
Team 1
Founded 2026