Cajal (YC W26) is massively scaling formal verification to accelerate scientific discovery. We do this by deploying superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance.
| Website | https://caj.al |
| Employees | 4 (3 on RocketReach) |
| Industry | Research Services |
Looking for a particular Cajal employee's phone or email?
Cajal Questions
Pedro Nobre is the Co-Founder of Cajal.
3 people are employed at Cajal.
Top Cajal Employees
-
Pedro Nobre
Co-Founder at Cajal
San Francisco, CA, US -
Luke Johnston
Co-Founder at Cajal
San Francisco, CA, US11 -
Marcelo Fornet
Founding Engineer at Cajal
Madrid, ES1
G2Crowd Trusted
300K+
Plugin Users
