Cajal
Cajal55
About
What does Cajal do?
Cajal makes critical software provably correct by mathematically proving its behavior on every possible input, even for code too complex for human review. Their core product, Tau, works directly on compiled binaries to capture intent as formal specifications and generate certificates of correctness or bug reports. This service is for organizations whose frontier AI systems and complex software are at risk due to flaws that AI can now find and exploit.
What is Cajal's revenue?
StartupHub estimates Cajal's annual revenue at $636K (range $503K to $898K, 64% confidence), based on comparable companies in the sector.
What is Cajal's valuation?
StartupHub estimates Cajal's effective valuation at $18.1M (range $11.3M to $27.0M, 10% confidence), based on comparable companies in the sector.
How much funding has Cajal raised?
Cajal has raised a total of $5M in funding. The most recent round on record is Seed.
Where is Cajal headquartered?
Cajal is headquartered in San Francisco, United States.
When was Cajal founded?
Cajal was founded in 2025.
What industry does Cajal operate in?
Cajal operates in B2B, Big Data, Foundation Model, Formal Verification, Quantum Computing, Fintech.
How many employees does Cajal have?
Cajal has approximately 3 people on record.
No comments yet. Be the first to share your take.