Senior Formal Verification Lead - AI Accelerator SoCs

DensityAI, Inc. seeks a senior verification engineer to own block- and SOC-level formal verification for our AI accelerator silicon, collaborating with chip-design and software teams from first silicon through scale-out. You will use and develop AI-assisted tool flows and lead proof strategies, working closely with RTL designers to drive convergence and quality. We sponsor visas and offer equity plus comprehensive benefits.