Senior Chip Design Engineer, Formal Verification

Job Title

Senior Chip Design Engineer, Formal Verification

Role Summary

Join NVIDIA's Networking pre-silicon design and verification team to develop and apply formal verification methods for high-bandwidth switch and GPU designs. The team focuses on proving design correctness using state-of-the-art formal tools and methodologies to enable successful tape-outs.

This role collaborates with architects, designers, and verification engineers to identify correctness requirements and implement formal proofs across complex digital logic blocks used in data-center, AI infrastructure, and HPC products.

Experience Level

Senior — typically requires 5+ years of relevant chip design or verification experience.

Responsibilities

The role is focused on using formal techniques to prove correctness and integrating formal flows into pre-silicon verification.

• Apply formal verification algorithms and tools to prove correctness of complex digital logic.
• Define formal properties and proof strategies for ambitious switch and GPU designs.
• Collaborate with pre-silicon design and verification teams to identify and resolve correctness issues.
• Contribute to next-generation micro-architecture and verification methodology development.
• Document findings and communicate verification results to cross-functional teams.

Requirements

Core qualifications and skills required or strongly preferred.

• Must-have: 5+ years of relevant experience in chip design, verification, or formal verification.
• Must-have: Strong analytical, logical reasoning, and problem-solving skills.
• Must-have: Strong debugging skills and experience diagnosing complex design issues.
• Must-have: Strong communication and interpersonal skills.
• Nice-to-have: Prior formal verification project experience and familiarity with formal toolchains and methodologies.
• Nice-to-have: Knowledge of digital logic design and verification flows.
• Nice-to-have: Demonstrated ability to work effectively on engineering teams.

Education Requirements

BSc in Electrical or Computer Engineering or MSc in Mathematics (as stated). These are the explicit degree/field mentions 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.