COMPANY PROFILE · UPDATED 13 SEP 2026
Cajal
Cajal offers datasets, frameworks, and RL environments to train and assess AI models in formal verification and mathematical reasoning.

San Francisco, CA
This profile is unclaimed — do you work here? Claim it
Claim it →- Founded
- 2025
- Headcount
- 1–10
- Open roles
- 0
- Last raised
- Pre Seed

LOCATIONS
Where they work
FUNDING
Capital raised
OPEN ROLES
Roles at Cajal
Employbl doesn’t track Cajal’s job board yet, so there’s nothing to show here — they may still be hiring. You can also search all jobs →
SIMILAR COMPANIES
Companies like Cajal
Picked from companies in the same industries as Cajal, ranked by funding-stage adjacency and hiring activity.