About
Safety engineering from a forest outside Stockholm.
About AnankeLabs
Ananke and Kairos
Ananke is structural necessity: the hard boundary a system cannot negotiate around. Kairos is the critical window where deliberate action can steer the trajectory before that limit is crossed.
Based outside Stockholm, Sweden, AnankeLabs builds the deterministic software that measures the remaining margin and intervenes while recovery remains possible.
Forward Momentum Through Deterministic Restraint.
Autonomous actions carry real consequences. Today, the acceleration of the autonomy sector is held back by safety concerns and legal requirements that manufacturers cannot fulfill on their own. AnankeLabs facilitates the forward momentum of the industry by arresting physical AI when it needs to slow down. Making the shared space a safer place since 2026.
Company DNA
Built for the real world, where breaking things is not an option.
European by design
Stockholm, Sweden
Consumer software grew up on move fast and break things. In physical robotics and critical infrastructure, breaking things is dangerous, illegal, and expensive. Built in Sweden at the crossroads of European industrial engineering and strict statutory safety regimes, AnankeLabs treats physics and regulation as first-class design constraints.
Proof over promises
Zero black boxes
Safety claims cannot rest on slide decks or vendor trust. Every mathematical invariant, boundary calculation, and domain benchmark at AnankeLabs runs through an adversarial, CI-gated verification pipeline and ships with open datasets and reproduction tools for independent third-party audit.
Deep-tech leverage
Substance before scale
Founded in 2026 in a forest outside Stockholm, AnankeLabs deliberately built the complete Rust safety kernel, three domain adapters, and an institutional-grade verification harness before scaling headcount or commercial operations.
Raising the Pre‑Seed Round.
Every major wave in computing produces one foundational layer that every operator is eventually forced to adopt. Autonomous systems are now hitting a hard wall across physical AI, enterprise agents, and critical infrastructure: without provable runtime boundaries and cryptographic evidence, machines cannot be insured, certified, or legally deployed. AnankeLabs solves this bottleneck with a single domain-agnostic architecture positioned to become the mandatory baseline for regulators, Notified Bodies, and underwriters. The compiled Rust engine, three domain adapters, verification pipeline, and philosophical identity are already in place before the first institutional check is signed.
Request the data roomWork with us
Founding team, commercial pilots, and research.
Co-founder
Careers
AnankeLabs is seeking a technical co-founder, ideally at PhD level in control theory, robotics, or formal verification, to help lead the company and its scientific roadmap.
Get in touchCommercial inquiries
Evaluations & Partnerships
Scoped technical evaluations test KAIROS against recorded robot trajectories, autonomous agent harnesses, or redacted security telemetry and return a digest-anchored containment report.
Scope an evaluationCollaborations
Research & Standards
Academic groups, Notified Bodies, and standards contributors can replicate published studies or evaluate structural-safety benchmarks on the KAIROS verification harness.
Propose a collaboration