Home | Ultra-Low-Power Infrastructure for the AI Era
Velaura is seeking a Senior Formal Verification Engineer to define, own, and scale the formal verification effort for its next-generation Physical AI SoC. The role involves applying formal methods to solve complex correctness problems, working with architects and verification teams to prove exhaustive correctness and reach coverage levels unattainable through simulation. The position requires rigorous reasoning about hardware, managing state-space explosion, and identifying corner-case bugs.
Delivering proven, breakthrough, ultra-low-power compute for cloud, edge, and physical AI applications.
Headquarters
San Francisco, CA
Company Size
201-500 employees
Founded
2018
Industry
Technology
Glassdoor Rating
4.2 / 5
Sarah Johnson
Chief Executive Officer
Michael Chen
Chief Technology Officer
Emily Williams
VP of Engineering
David Rodriguez
VP of Product
Jessica Thompson
Chief Financial Officer
Andrew Park
VP of Sales
View leadership team, funding history,
and employee contacts for Home | Ultra-Low-Power Infrastructure for the AI Era.
83% above the average for this role