Cajal | Startup | Standout | Standout

Cajal

Scaling formal verification to accelerate scientific discovery

San Francisco

2 employees

Seed

Website X / Twitter

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

Team Size2

LocationSan Francisco

Funding

Last stage

Seed

Investors

Y Combinator

StandoutYBacked by Y Combinator · P26

“LeBron has an agent. Why don’t you?”

— Now you have one too.

Earn $3,000

ProductHow it works For talent For companies Browse jobs Browse companies Docs

CompanyAbout Blog Careers

ConnectTwitter / X LinkedIn

Standout.

Privacy Terms

Founders

Pedro Nobre

Working on formal verification and AI at Cajal (YC W26).

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]

What 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.