Senior Formal Verification Engineer

NVIDIA
Santa Clara, Austin
Workplace: HybridFull timeUSD 168,000 - 310,500 annuallyFunction: Solutions Engineering & Sales EngineeringExperience: 7+ yearsEducation: mastersSkills: ["Verilog","SystemVerilog","TCL","Perl","Python","Verilog/SystemVerilog","Temporal logic","Assertions"]

Senior Formal Verification Engineer to verify design and implementation of high-performance chip interconnects. You will develop formal verification methodologies, write testplans, build abstraction models, and drive verification tools. Collaborate with architects, designers, and pre-/post-silicon teams to ensure functional correctness and full/coarse proofs, leveraging Verilog/SystemVerilog, TCL, Python, and formal tools in a hybrid, US-based environment.

Loading

Loading job details...

Preparing the role view and application actions.

FursaFursa
NVIDIA
NVIDIA
4 months ago

Senior Formal Verification Engineer

✓ Verified Job

Canonical indexed version, validated from employer's careers page.

Source: Company careers pageValidated by: Fursa AI
Last checked: 14 hours agoStatus: Live
Reposted: similar role first listed 7 months ago

Job Summary

Senior Formal Verification Engineer to verify design and implementation of high-performance chip interconnects. You will develop formal verification methodologies, write testplans, build abstraction models, and drive verification tools. Collaborate with architects, designers, and pre-/post-silicon teams to ensure functional correctness and full/coarse proofs, leveraging Verilog/SystemVerilog, TCL, Python, and formal tools in a hybrid, US-based environment.
Location: Santa Clara, Austin
Workplace: Hybrid
Employment Type: Full time
Job Function: Solutions Engineering & Sales Engineering
Seniority: Sr. Manager level

Key Responsibilities

  • •Identify key behaviors for verification and write clear testplans for complex designs.
  • •Implement testplans using formal techniques, developing environment assumptions, assertions, and cover properties.
  • •Develop abstraction models to overcome complexity and achieve full or bounded proofs with adequate coverage.
  • •Drive tools to achieve best performance and integration into workflows.
  • •Debug RTL to identify causes of failure scenarios and articulate verification coverage to partners.

Pay and Benefits

Salary: USD 168,000 - 310,500 annually
Equity and Bonus:Equity
Perks:Equity

Key Requirements

  • •7+ years of experience in CS/CE/EE/Mathematics with BS/MS/PhD
  • •Solid understanding of GPU/CPU architectures and designs
  • •Knowledge of formal verification methodologies and techniques
  • •Hands-on experience with Verilog/SystemVerilog HDLs and temporal logic assertions
  • •Excellent scripting in TCL, Perl, and Python; prefer experience with Jasper Gold/VC Formal
Experience:7+ yearsHardware verificationVerification engineering
Education:Master's
Skills:VerilogSystemVerilogTCLPerlPythonVerilog/SystemVerilogTemporal logicAssertions
Tech Stack:VerilogSystemVerilogTCLPythonPerlJasper GoldVC Formal

Company Brief

NVIDIA
Designs and manufactures GPUs, AI accelerators, and system-on-chip products for gaming, data centers, professional visualization, and automotive markets, enabling advanced graphics, AI, and high-performance computing solutions worldwide.
Industry: Electronics Manufacturing
Company Size: Enterprise (1,001+ employees)
Revenue: USD 1B+
Growth: Public Company
Valuation: Public Company (Market Cap in USD)
Funding: IPO / Publicly Listed
Headquarters: Santa Clara, United States
Founded: 1993
Glassdoor
Glassdoor: 4.3
WebsiteLinkedInGlassdoor