Lead the development and execution of formal verification strategies for complex digital designs in NVIDIA's Networking unit, mentoring engineers and improving verification methodologies.
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.
Top Skills
Digital Design
Formal Methods
Formal Verification
Similar Jobs
Biotech • Manufacturing
The QC Analyst will perform routine lab tasks using various analytical instruments, operate and maintain lab equipment, document work and report results, while adhering to GLP and quality procedures.
Top Skills:
Analytical EquipmentGcHplcUv/Vis Spectroscopy
Artificial Intelligence • Computer Vision • Hardware • Robotics • Metaverse
The Senior Data Engineer will develop scalable data pipelines, maintain data quality, automate schema evolution, and collaborate across teams to manage telemetry data.
Top Skills:
AirflowApache KafkaSparkAWSAzureDagsterDatabricksGCPPrefectPysparkPythonScalaSQL
Artificial Intelligence • Computer Vision • Hardware • Robotics • Metaverse
The role involves optimizing IT infrastructure, collaborating with global IT teams, building monitoring systems, and solving IT-related challenges for Software System teams.
Top Skills:
BashGitJenkinsLinuxNagiosPrometheusPythonZabbix
What you need to know about the NYC Tech Scene
As the undisputed financial capital of the world, New York City is an epicenter of startup funding activity. The city has a thriving fintech scene and is a major player in verticals ranging from AI to biotech, cybersecurity and digital media. It also has universities like NYU, Columbia and Cornell Tech attracting students and researchers from across the globe, providing the ecosystem with a constant influx of world-class talent. And its East Coast location and three international airports make it a perfect spot for European companies establishing a foothold in the United States.
Key Facts About NYC Tech
- Number of Tech Workers: 549,200; 6% of overall workforce (2024 CompTIA survey)
- Major Tech Employers: Capgemini, Bloomberg, IBM, Spotify
- Key Industries: Artificial intelligence, Fintech
- Funding Landscape: $25.5 billion in venture capital funding in 2024 (Pitchbook)
- Notable Investors: Greycroft, Thrive Capital, Union Square Ventures, FirstMark Capital, Tiger Global Management, Tribeca Venture Partners, Insight Partners, Two Sigma Ventures
- Research Centers and Universities: Columbia University, New York University, Fordham University, CUNY, AI Now Institute, Flatiron Institute, C.N. Yang Institute for Theoretical Physics, NASA Space Radiation Laboratory
