Cajal

Scaling formal verification to accelerate scientific discovery

वेबसाइट ↗स्रोत: Y Combinator ↗

कंपनी के बारे में

कंपनी का विवरण अंग्रेजी में

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.

विषय

लोकेशन: सैन फ्रांसिस्को, CA, अमेरिका
टीम का आकार: 2 कर्मचारी
YC बैच: Winter 2026
स्थिति: सक्रिय
स्टेज: अर्ली स्टेज

मिलते-जुलते स्टार्टअप और प्रतिस्पर्धी

Stripe

भर्ती जारी

कंपनी क्या करती है:

इंटरनेट के लिए आर्थिक इंफ्रास्ट्रक्चर।

बैंकिंग और लेंडिंग

मुख्य जानकारी:

मुख्यालय: सैन फ्रांसिस्को, CA, अमेरिका

7,000 कर्मचारीYC S09ग्रोथ स्टेजखुले पद: 729

प्रोफाइल देखें वेबसाइट ↗

Deel

भर्ती जारी

कंपनी क्या करती है:

ग्लोबल टीमों के लिए ऑल-इन-वन HR और पेरोल प्लेटफ़ॉर्म

HR टेक अकाउंटिंग और फाइनेंस

मुख्य जानकारी:

मुख्यालय: सैन फ्रांसिस्को, CA, अमेरिका

5,000 कर्मचारीYC W19ग्रोथ स्टेजरिमोट

प्रोफाइल देखें वेबसाइट ↗

GrubMarket

कंपनी क्या करती है:

AI-पावर्ड टेक्नोलॉजी एनेबलर और डिजिटल ट्रांसफ़ॉर्मर, अमेरिकी…

लॉजिस्टिक्स फूड और एग्रीकल्चर ई-कॉमर्स

मुख्य जानकारी:

मुख्यालय: सैन फ्रांसिस्को, CA, अमेरिका

4,548 कर्मचारीYC W15ग्रोथ स्टेज

प्रोफाइल देखें वेबसाइट ↗

Flexport

भर्ती जारी

कंपनी क्या करती है:

ग्लोबल लॉजिस्टिक्स के लिए प्लेटफ़ॉर्म।

लॉजिस्टिक्स

मुख्य जानकारी:

मुख्यालय: सैन फ्रांसिस्को, CA, अमेरिका

3,000 कर्मचारीYC W14ग्रोथ स्टेजखुले पद: 202

प्रोफाइल देखें वेबसाइट ↗

Rippling

भर्ती जारी

कंपनी क्या करती है:

आपके सारे HR, IT और फ़ाइनेंस को चलाने की एक जगह। दुनिया भर में।

मुख्य जानकारी:

मुख्यालय: सैन फ्रांसिस्को, CA, अमेरिका

2,500 कर्मचारीYC W17ग्रोथ स्टेज

प्रोफाइल देखें वेबसाइट ↗

Gusto

भर्ती जारी

कंपनी क्या करती है:

बढ़ते बिज़नेस को अपनी टीम की देखभाल के लिए सब कुछ देता है

HR टेक इंश्योरटेक

मुख्य जानकारी:

मुख्यालय: सैन फ्रांसिस्को, CA, अमेरिका

2,400 कर्मचारीYC W12ग्रोथ स्टेजखुले पद: 97

प्रोफाइल देखें वेबसाइट ↗

सवाल-जवाब

Cajal का मुख्यालय कहां है?

सैन फ्रांसिस्को, CA, अमेरिका

Cajal में कितने लोग काम करते हैं?

कंपनी प्रोफाइल के अनुसार 2 कर्मचारी।

क्या Cajal ने फंडिंग जुटाई है?

हमारे डेटा में Cajal का कोई फंडिंग राउंड नहीं है।

Cajal के विकल्प कौन-से हैं?

मिलते-जुलते स्टार्टअप: Stripe, Deel, और GrubMarket।