About the job
About Voltai
Voltai is at the forefront of developing advanced world models and intelligent agents capable of learning, evaluating, planning, experimenting, and interacting with the physical environment. Our pioneering work begins with a deep understanding of hardware, focusing on electronic systems and semiconductors, where artificial intelligence transcends human cognitive capabilities to design and create.
About Our Team
Supported by leading investors from Silicon Valley and esteemed institutions like Stanford University, our team is composed of distinguished professionals, including former Stanford professors, researchers from SAIL, Olympiad medalists, and executives from major corporations such as Google, AMD, Broadcom, and Marvell. Our diverse expertise also includes former high-level government officials and defense advisors.
Role Overview
As a Formal Verification Engineer, you will be responsible for creating formal proofs of design correctness through model checking, property verification, and equivalence analysis. You will work in close collaboration with RTL, verification, and machine learning research teams to develop hybrid formal engines that can reason about AI-generated hardware at scale. Your role will involve defining formal properties, automating assertion synthesis, and constructing systems that verify designs with unprecedented speed and accuracy.

