# Cajal

**Source:** https://www.startuphub.ai/startups/cajal
**Profile type:** Startup

> Scaling formal verification to accelerate scientific discovery

## About

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.

## Key facts

- **Slug:** cajal
- **Website:** https://caj.al/
- **Location:** San Francisco, United States
- **Founded:** 2025-01-01
- **Employees:** 3
- **Operating status:** Active
- **Total funding:** $5M
- **Sectors / tags:** B2B, Big Data, Foundation Model, Formal Verification, Quantum Computing, Fintech, AI Reasoning, AI Safety, API Platform, Generative AI
- **Social:**
  - LinkedIn: https://www.linkedin.com/company/cajal-technologies/
  - Twitter: https://x.com/CajalResearch
  - GitHub: https://github.com/cajal-technologies

## Frequently asked

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

## JSON-LD

Structured data aligned with this page's `<script type="application/ld+json">` (included when the profile is server-rendered).

```json
{
  "@context": "https://schema.org",
  "@graph": [
    {
      "@type": "BreadcrumbList",
      "itemListElement": [
        {
          "@type": "ListItem",
          "position": 1,
          "name": "Home",
          "item": "https://www.startuphub.ai"
        },
        {
          "@type": "ListItem",
          "position": 2,
          "name": "Startups",
          "item": "https://www.startuphub.ai/startups"
        },
        {
          "@type": "ListItem",
          "position": 3,
          "name": "Cajal",
          "item": "https://www.startuphub.ai/startups/cajal"
        }
      ]
    },
    {
      "@type": "ProfilePage",
      "@id": "https://www.startuphub.ai/startups/cajal#webpage",
      "url": "https://www.startuphub.ai/startups/cajal",
      "name": "Cajal - AI Startup Profile | StartupHub.ai",
      "description": "This is the official profile of Cajal. Cajal is a startup founded in 2025, operating in B2B and Big Data. Scaling formal verification to accelerate scientific discovery. Headquartered in San Francisco, United States. The company has approximately 3 employees.",
      "dateModified": "2026-06-11T06:03:45.03+00:00",
      "mainEntity": {
        "@id": "https://www.startuphub.ai/startups/cajal#organization"
      }
    },
    {
      "@type": "Organization",
      "@id": "https://www.startuphub.ai/startups/cajal#organization",
      "name": "Cajal",
      "url": "https://caj.al/",
      "logo": "https://cdn.startuphub.ai/storage/v1/object/public/entity-images/logos/90a44434-0571-4a5c-a4aa-8746ec533658-square.webp",
      "image": "https://cdn.startuphub.ai/storage/v1/object/public/entity-images/logos/90a44434-0571-4a5c-a4aa-8746ec533658-square.webp",
      "description": "This is the official profile of Cajal. Cajal is a startup founded in 2025, operating in B2B and Big Data. Scaling formal verification to accelerate scientific discovery. Headquartered in San Francisco, United States. The company has approximately 3 employees.",
      "sameAs": [
        "https://www.linkedin.com/company/cajal-technologies/",
        "https://x.com/CajalResearch",
        "https://github.com/cajal-technologies",
        "https://www.startuphub.ai/startups/cajal"
      ],
      "foundingDate": "2025-01-01",
      "numberOfEmployees": {
        "@type": "QuantitativeValue",
        "value": 3
      },
      "address": {
        "@type": "PostalAddress",
        "addressLocality": "San Francisco",
        "addressCountry": "US"
      },
      "knowsAbout": [
        "B2B",
        "Big Data",
        "Foundation Model",
        "Formal Verification",
        "Quantum Computing",
        "Fintech",
        "AI Reasoning",
        "AI Safety",
        "API Platform",
        "Generative AI"
      ]
    },
    {
      "@type": "Product",
      "@id": "https://www.startuphub.ai/startups/cajal#profile-assessment",
      "name": "Cajal - StartupHub.ai Profile Assessment",
      "url": "https://www.startuphub.ai/startups/cajal",
      "image": "https://cdn.startuphub.ai/storage/v1/object/public/entity-images/logos/90a44434-0571-4a5c-a4aa-8746ec533658-square.webp",
      "category": "B2B",
      "description": "This is the official profile of Cajal. Cajal is a startup founded in 2025, operating in B2B and Big Data. Scaling formal verification to accelerate scientific discovery. Headquartered in San Francisco, United States. The company has approximately 3 employees. Agent Readiness score: 22/100. Full audit: https://www.startuphub.ai/startups/cajal/agent-readiness",
      "brand": {
        "@type": "Brand",
        "name": "Cajal"
      },
      "review": {
        "@type": "Review",
        "author": {
          "@type": "Organization",
          "name": "StartupHub.ai"
        },
        "datePublished": "2026-06-11",
        "name": "Cajal - Profile Score 55/100",
        "reviewBody": "This is the official profile of Cajal. Cajal is a startup founded in 2025, operating in B2B and Big Data. Scaling formal verification to accelerate scientific discovery. Headquartered in San Francisco, United States. The company has approximately 3 employees. Agent Readiness score: 22/100. Full audit: https://www.startuphub.ai/startups/cajal/agent-readiness",
        "reviewRating": {
          "@type": "Rating",
          "ratingValue": 55,
          "bestRating": 100,
          "worstRating": 0
        }
      }
    }
  ]
}
```