Careers

We build verification infrastructure that proves or disproves computational claims end to end. Small team, hard problems, outsized impact.

Member of Technical Staff

Build the verification engine, EDA tooling, and accelerator kernel infrastructure behind Kairos. Work across the full stack from RTL synthesis to formal proof orchestration.

Full-time Remote / Seattle $100K – $250K + Equity + Benefits