Member of Technical Staff

Full-time Remote or Seattle Health, vision, and dental benefits About Athanor 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. What we look for Strong backend software engineering: you write clean, tested, production-quality code Rust experience: systems-level thinking, ownership model, no-panic production code RTL design knowledge: Verilog/SystemVerilog, synthesis, timing closure, gate-level reasoning EDA tooling familiarity Accelerator kernel development: NKI, CUDA, HLS, or similar hardware-targeted programming Comfort with formal methods: model checking, theorem proving, or equivalence checking (practical, not just theoretical)