Senior Formal Verification Engineer

Job Title

Senior Formal Verification Engineer

Role Summary

Senior engineer on the NVIDIA Networking (Mellanox) Pre‑Silicon design and verification team focused on formal verification of NIC logic and communication protocols. The role applies formal algorithms and methodologies to prove correctness, find corner-case defects, and support A0 design tapeouts.

Experience Level

Senior — requires 5+ years of relevant experience.

Responsibilities

Key responsibilities include applying formal methods to verify complex hardware logic and collaborating with pre‑silicon teams to drive design correctness.

• Apply formal verification algorithms to prove correctness of complex logic blocks and protocols.
• Develop and maintain formal methodologies and verification environments for communication protocols and hardware implementations.
• Collaborate with Pre‑Silicon design and verification engineers to identify, debug, and resolve design issues before silicon.
• Analyze counterexamples and formal results; triage issues and propose fixes or mitigations.
• Contribute to verification infrastructure and automation to scale formal coverage across designs.

Requirements

Must-have skills and experience.

• 5+ years of relevant verification or design experience.
• Excellent analytical, logical reasoning, and problem‑solving abilities.
• Strong debugging and root‑cause analysis skills for hardware/verification flows.
• Effective verbal and written communication; able to work cross‑functionally.
• Experience working with hardware verification teams and integrating verification results into development cycles.

Nice-to-have:

• Hands‑on formal verification experience.
• Knowledge of digital logic and hardware design principles.

Education Requirements

BSc in Electrical or Computer Engineering, or an MSc in Mathematics, or equivalent practical experience.

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.