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 room

Work 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 touch
  • Commercial 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 evaluation
  • Collaborations

    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