Voltai logo

Formal Verification Engineer at Voltai | Palo Alto

VoltaiPalo Alto Office
On-site Full-time

Clicking Apply Now takes you to AutoApply where you can tailor your resume and apply.


Experience Level

Experience

Qualifications

Ideal Candidate ProfileYou are likely to excel in this role if you possess over 5 years of experience in the following areas:JasperGold, VC Formal, or similar formal verification toolsAssertion-based verification (SVA)Model checking and property decompositionEquivalence checking, abstraction refinement, and formal coverage

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.

About Voltai

Voltai is a trailblazer in the intersection of hardware and artificial intelligence, committed to pushing the boundaries of what machines can design and create. Our innovative solutions are supported by a team of experts from prestigious backgrounds, aiming to redefine the capabilities of electronic systems and semiconductors.

Similar jobs

Browse all companies, explore by city & role, or SEO search pages.

Tailoring 0 resumes

We'll move completed jobs to Ready to Apply automatically.