
Vad de gör:
Scaling formal verification to accelerate scientific discovery
Snabbfakta:
Huvudkontor: San Francisco, CA, USA
Listan innehåller 766 startups och uppdaterades senast den 16 okt. 2026. 181 av dem rekryterar just nu. Största startupstäderna: San Francisco (552), New York (59) och London (20). Största teamen: Human Archive, Perit.AI och Hub. Senaste rundan: Beyond Reach Labs tog in $10M (6 okt. 2026).

Vad de gör:
Scaling formal verification to accelerate scientific discovery
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Infrastructure for Autonomous Science
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
AI powered reconciliation for high-volume payments companies
Snabbfakta:

Vad de gör:
Din programvara borde bygga sig själv.
Snabbfakta:

Vad de gör:
AI-native radar för självkörande bilar
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Agentic Development Environment
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
The first exchange to trade on attention.
Snabbfakta:

Vad de gör:
Foundation models for 24/7 Earth Observation
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Turn gatherings into lasting relationships.
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
API sandboxes, built for AI agents
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
The secure training data R&D engine for physical AI
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
The robot workforce for infrastructure
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
AI account managers for consumer/self-serve apps
Snabbfakta:

Vad de gör:
Automating dexterous tasks in warehouses with AI-powered robots
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Vi bygger autonoma analysagenter för trading
Snabbfakta:

Vad de gör:
Keeping contractors on the job site, not behind a desk.
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Drönare som skingrar moln över solparker och försvagar orkaner
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Compression middleware that improves LLM outputs
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Payments for Conversational Agents
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Agentic Messenger
Snabbfakta:

Vad de gör:
API för prestationsbaserade löner
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Adversarial AI that breaks your AI
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
AI-native fastighetsförvaltare för korttidsuthyrning
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Using VLMs to Catch Damage
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
AI som driver fabriker.
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Interaktionsmodeller i realtid för röstagenter
Snabbfakta:

Vad de gör:
AI-operativsystem för annonsering
Snabbfakta:
Huvudkontor: London, Storbritannien

Vad de gör:
Financial infrastructure for family caregiving
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
The customer brain that connects data to explain customer behavior
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Globalt bankkonto i stablecoins
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
FDE as a platform for rebuilding critical operations in software.
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Kostnadsstyrning för AI: följ och fördela AI-utgifterna hos alla leverantörer
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
AI Video Production for Professionals
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
AI coworker for video editors to ship more video faster
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
The hardware-agnostic operating system for drone defense
Snabbfakta:
Huvudkontor: San Francisco, CA, USA

Vad de gör:
Code review platform for humans and agents
Snabbfakta: