Senior Formal Verification Engineer
NVIDIAJob Title
Senior Formal Verification Engineer
Role Summary
Join NVIDIA's Networking Pre-Silicon team to apply formal verification methods and tools to prove correctness of switch and GPU-related logic. The role collaborates with pre-silicon design and verification engineers to ensure high-confidence designs for data-center, AI, and HPC products.
This is a technical engineering role focused on formal verification of complex digital designs and contributing to verification flows that support successful silicon tapeouts.
Experience Level
Senior - requires 5+ years of relevant experience in chip design, verification, or formal verification.
Responsibilities
Key responsibilities include applying formal techniques, collaborating with design teams, and improving verification quality.
- Use formal verification algorithms and tools to prove correctness of complex logic.
- Develop and maintain formal properties, assertions, and verification flows.
- Collaborate with pre-silicon design and verification teams to resolve functional issues and support tapeout readiness.
- Analyze failures, debug design problems, and recommend corrective actions.
- Contribute to verification methodology and tooling improvements.
Requirements
Concise list of required and preferred qualifications.
- Must-have: 5+ years of relevant experience in the chip design domain (design, verification, or formal).
- Must-have: Strong analytical, logical reasoning, and debugging skills.
- Must-have: Strong communication and interpersonal skills.
- Nice-to-have: Direct formal verification experience and familiarity with formal tools and methodologies.
- Nice-to-have: Practical knowledge of digital logic and RTL design concepts.
Education Requirements
BSc in Electrical Engineering or Computer Engineering, or an MSc in Mathematics (as listed 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.
