ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
ApplyBlast uses AI to match you with the right jobs, tailor your resume and cover letter, and apply automatically so you can land your dream job faster.
© All Rights Reserved. ApplyBlast.com
Voltai
The role involves developing new formal verification methods to prove hardware design correctness using model checking, property verification, and equivalence analysis. You will collaborate with RTL, verification, and ML research teams to create hybrid formal engines, define formal properties, automate assertion synthesis, and prototype research ideas on real RTL designs.
Company Size
1-10 employees
Voltai develops world models and frontier agents designed to understand and build hardware, with a focus on semiconductors and electronics systems. Their AI agents run billions of simulated experiments to tackle long-horizon hardware design tasks — such as chip design and fabrication — that exceed human cognitive limits. Voltai works with many of the world's largest semiconductor, consumer electronics, and automotive companies, and is backed by top Silicon Valley investors and leaders from Google, AMD, Broadcom, and other industry giants.
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 Voltai.
Voltai didn’t post a salary, so this is our estimate from similar listings.
9% below the average for this role