Cajal
Scaling formal verification to accelerate scientific discovery
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.
Company details
Funding
Last stage
Seed
Investors
Founders
Luke Johnston
Working on formal verification and AI at Cajal (W26). Background in machine learning and neuroscience at research labs in Oxford/Cambridge/UCL. Learn more at https://caj.al/ and feel free to get in touch at [email protected]
LinkedInWhat happens next.
No applications, no recruiter spam. Just the intro.
Confirm the fit
A few questions to make sure this role is the right shape for you. Two minutes.
I pitch you to the company
I write the intro, send it to the founder, and handle the back-and-forth.
A meeting lands on your calendar
If they’re a yes, I book the chat. You show up — that’s the whole job-hunt.