Formal Verification Engineer

Formal Verification Engineer at NVIDIA

This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch technologies. We deploy state-of-the-art formal verification tools and methodologies to prove design correctness. Working in our formal verification team will expose you to a wide range of cutting-edge design and technologies. Our Switch team delivers world-class Bridge and router solutions for HPC, data-center, network, and storage markets. We micro-architect, verify, and deliver smart and high bandwidth multi-port switches. NVIDIA has some of the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts. As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic, and ambitious.

What You'll Be Doing

• In this position, you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
• You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.
• You will work on developing new formal verification methodologies and tactics.

What We Need To See

• BSc in Electrical/Computer Engineering or MSc in Mathematics.
• 1+ years of experience.
• Excellent analytical, logical reasoning, and problem-solving skills.
• Strong debugging and analytical skills.
• Strong communication and interpersonal skills are required.

Ways To Stand Out From The Crowd

• Formal verification work experience.
• Knowledge of digital logic.

Key skills/competency

• Formal Verification
• Pre-Silicon Verification
• Digital Logic
• Debugging
• Problem-solving
• Verification Methodologies
• Property Checking
• Computer Architecture
• SystemVerilog Assertions
• RTL Design