Formal Verification Engineer Jobs

DensityAI · Mountain View

About the role We're looking for an experienced Design Verification engineer with at least 5 years of pre-silicon verification experience in end to end verification for complex IP, subsystems, and/or SoC system level verification from plan to functional closure. This is a senior…

Intel · Leixlip

The Role and Impact You will be part of a highly skilled, agile design/verification team developing cutting-edge hardware for the NIC, IPU and AI domains. As a senior IP Design Verification Engineer, you will play a crucial role in ensuring the functionality and reliability of…

OLIX · Bristol

About OLIX AI is growing faster than any technology in history and the explosion in demand has created a massive infrastructure gap; we can no longer build chips or power stations fast enough to keep up. The industry is still leaning on a ten-year-old hardware blueprint that has…

Lightmatter · Mountain View

If you're passionate about tackling comp

Lightmatter · Boston

Staff/Sr. Staff Design Verification at Lightmatter in Boston, Massachusetts, United States. $206K – $236K/yr.

Lightmatter · Toronto

Staff/Sr. Staff Design Verification Engineer at Lightmatter in Toronto, ON, Canada. C$203K – C$224K/yr.

Neuralink · South San Francisco

About Neuralink: We are creating devices that enable a bi-directional interface with the brain. These devices allow us to restore movement to the paralyzed, restore sight to the blind, and revolutionize how humans interact with their digital world. Job Description &…

NVIDIA · Santa Clara, United States

As a Formal Verification Engineer at NVIDIA, you will work in the formal verification team for the industry's leading chips. We are looking for outstanding candidates with knowledge of formal methods. The engineer will own the task of formal verification of RTL units for next…

Tenstorrent · Santa Clara

Tenstorrent is leading the industry on cutting-edge AI technology, revolutionizing performance expectations, ease of use, and cost efficiency. With AI redefining the computing paradigm, solutions must evolve to unify innovations in software models, compilers, platforms,…

Harmonic · Palo Alto

About Harmonic At Harmonic, we believe the future of AI depends on proof. Most AI makes its best guess. Aristotle uses formal methods and reinforcement learning to check its own reasoning and results. AI agents can write software in seconds, but edge cases and silent bugs still…

NVIDIA · Yokneam

We are looking for a Senior Formal Verification Engineer for our NVIDIA Networking team! This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking NIC technologies. We deploy state-of-the art formal verification…

NVIDIA · Santa Clara, United States

NVIDIA has been transforming computer graphics, PC gaming, and accelerated computing for more than 25 years. It’s a unique legacy of innovation that’s fueled by great technology—and amazing people. Today, we’re tapping into the unlimited potential of AI to define the next era of…

NVIDIA · Bengaluru

NVIDIA has continuously reinvented itself. Our invention of the GPU sparked the growth of the PC gaming market, redefined modern computer graphics, and revolutionized parallel computing. Today, research in artificial intelligence is booming worldwide, which calls for highly…

Etched · San Jose

About Etched Etched is building hardware for frontier intelligence. We co-design chips, racks, software, and manufacturing to deliver best-in-class throughput and latency across both prefill and decode workloads. Our first products are heavily focused on inference . Backed by…

Micron · Hyderabad

Our vision is to transform how the world uses information to enrich life for all . Micron Technology is a world leader in innovating memory and storage solutions that accelerate the transformation of information into intelligence, inspiring the world to learn, communicate and…