Teams at Voltai

Develop novel formal verification methods for proving hardware design correctness using model checking, property verification, and equivalence analysis. Define formal properties, automate assertion synthesis, and build hybrid formal engines that scale to AI-generated RTL designs. Prototype and evaluate research ideas on real RTL, collaborating with RTL, verification, and ML teams to turn methods into practical systems.

The Special Projects Lead at Voltai manages complex, independent projects, collaborates with leadership, and drives innovative solutions in a fast-paced startup environment.

Lead and manage an engineering team, drive sprint planning, prioritize tasks, remove blockers, track metrics, and collaborate with product teams.