Careers
We're a small team shipping the determinism layer for AI agents.
No open roles posted right now. We'll start hiring once paid revenue covers it -- the operating principle here is that headcount follows customers, not the other way around.
If you're interested in working here
Send us a note. We read everything. The kinds of skills we will eventually need:
- · Formal-language / automata theory background (Hopcroft, Brzozowski, L*)
- · Cryptographic systems (Ed25519, Merkle trees, OpenTimestamps, threshold signatures)
- · Production MCP / agent-tooling integrations (Claude, Cursor, Continue)
- · Compiler / kernel work (multi-target codegen, WASM, deterministic numerics)
- · Security research (parser bug-class hunting, fuzzing, formal-method tooling)