Senior Formal Verification Engineer

Job Title

Senior Formal Verification Engineer

Role Summary

Join the NVIDIA Networking pre-silicon design and verification team to develop and apply formal verification methods to prove correctness of complex switch and GPU logic. The role focuses on creating and running formal proofs, analyzing counterexamples, and collaborating with RTL designers and verification engineers to ensure robust silicon design.

Experience Level

Senior — requires 5+ years of relevant chip design experience (design, verification, or formal verification).

Responsibilities

Primary duties involve applying formal techniques to verify design correctness and supporting pre-silicon delivery.

• Write and maintain formal properties, assertions, and checks for RTL designs.
• Use formal verification algorithms and tools to prove correctness and debug counterexamples.
• Collaborate with pre-silicon design and verification teams on architecture and implementation issues.
• Analyze design behavior, isolate root causes of failures, and propose fixes or design changes.
• Contribute to verification methodology and automation to support tapeout-quality delivery.

Requirements

Must-have skills and experience required for the role.

• 5+ years of experience in chip design, verification, or formal verification.
• Strong analytical, logical reasoning, and problem-solving skills.
• Proven debugging skills for complex digital designs and verification environments.
• Effective communication and interpersonal skills for cross-team collaboration.

Nice-to-have:

• Hands-on formal verification experience and familiarity with formal tools and flows.
• Knowledge of digital logic design and RTL implementation details.

Education Requirements

BSc in Electrical Engineering or Computer Engineering, or MSc in Mathematics (as stated in the posting).

About the Company

Company: NVIDIA

Headquarters: Santa Clara, California, USA

NVIDIA is a global leader in accelerated computing, renowned for its innovative solutions in AI and digital twins that transform diverse industries. The company specializes in networking technologies, providing end-to-end InfiniBand and Ethernet solutions for servers and storage that optimize performance and scalability. NVIDIA serves sectors such as high-performance computing, enterprise data centers, and cloud computing, constantly reinventing its products and services to stay ahead in the market.