Principal Formal Verification Engineer

Job description

We are now looking for a Principal Formal Verification Engineer to join our NVIDIA Networking team! As a Principal Formal Verification Engineer in NVIDIA’s Networking Business Unit, you will play a critical role in shaping the formal strategy and execution of complex, high-performance silicon designs that power data centers, AI infrastructure, networking, and storage systems. This is a senior technical leadership role, requiring deep hands-on experience and a strong execution mindset. You will join a passionate and expert team responsible for applying formal methods to validate designs at the highest level of rigor. This role offers the opportunity to work at the cutting edge of formal verification, influence architecture, and collaborate across functions to drive best-in-class silicon quality. What You’ll Be Doing: Define and execute advanced formal verification strategies for complex digital blocks and systems. Lead formal activities across multiple projects, ensuring scalability, completeness, and convergence . Guide the development of formal testbenches, properties, assertions, and coverage models. Collaborate with architects, RTL designers, and DV teams to identify formal targets and maximize design verification efficiency. Provide technical leadership and mentoring to other formal engineers and contribute to the growth of formal expertise within the organization. Evaluate and deploy state-of-the-art formal tools, flows, and methodologies to continuously improve formal verification coverage and impact. What We Need to See: BSc or MSc in Electrical/Computer Engineering, Computer Science, or Mathematics. 15+ years of hands-on experience in Formal Verification within the semiconductor industry. Proven track record of formal verification execution Deep understanding of formal concepts, abstraction techniques, property development, and convergence strategies. Strong analytical, debugging, and problem-solving skills. Excellent communication and collaboration skills. Ways to Stand Out from the Crowd: A true passion for formal verification, with a desire to innovate and elevate the practice within a mature and advanced formal verification environment. A visionary mindset, eager to push the boundaries of formal adoption and impact across architecture, design, and methodology. Strong desire to influence product development by using formal insights to drive architectural and design decisions. Proven ability to work collaboratively in a team-oriented culture while bringing thought leadership to the formal domain.