Careers

Help make AI-assisted engineering verifiable.

We care about compiler-grade facts, clear product boundaries, restrained model usage, and interfaces that make complex repository evidence legible.

Working principles

Small team. Serious infrastructure.

Facts before demos

A capability is only useful when its evidence, failure modes, and boundaries are visible.

Interfaces carry trust

Dense technical information should feel calm, precise, and easy to verify.

Core stays boring

New product value belongs above the immutable graph, not inside an ever-growing compiler.

Open roles

No formal openings right now.

Exceptional builders in compilers, developer tooling, graph systems, design engineering, and infrastructure can still send a concise introduction with relevant work.

Start with evidence

Care about software truth and product craft?

Send the work that best demonstrates how you think, not a generic application.