We build Kairos, a verification engine that proves or disproves computational claims with formal methods. Our customers are hardware teams, accelerator developers, and infrastructure engineers whose designs have to hold up to scrutiny, not just pass a testbench.
We are a small, technical team where every engineer ships across the full stack. There is no distinction between "research" and "production" here. You will write Rust that runs in CI, Lean proofs that gate customer releases, and Python orchestration that coordinates multi-engine verification campaigns.
Tell us what you have built, what you care about getting right, and why Athanor is interesting to you.