Senior Formal Verification Engineer - Lpu

Nvidia Corporation

Remote
Base: 195,000 cad - 245,000 cad; bonus/equity: eli...
Remote
Formal verification methods
Systemverilog assertions (sva)
Formal property verification
Nvidia Corporation is seeking a Senior Formal Verification Engineer to work remotely, focusing on verifying advanced ASIC designs using formal verification methods. The ideal candidate should have over 12 years of experience in ASIC verification, with a strong emphasis on formal verification techniques and tools

Job Summary

  • Verify AI-related sophisticated ASIC designs & features with formal verification methods.
  • Develop and implement advanced formal verification environments and methodologies for complex ASIC designs.
  • Train and coach junior engineers on formal techniques and standard processes.

Matching Summary

Match Score: 85

Nvidia Corporation is seeking a Senior Formal Verification Engineer to work remotely, focusing on verifying advanced ASIC designs using formal verification methods. The ideal candidate should have over 12 years of experience in ASIC verification, with a strong emphasis on formal verification techniques and tools.

Salary

Base: 195,000 CAD - 245,000 CAD; Bonus/Equity: Eligible for equity; Benefits: Comprehensive benefits package

Skills & Requirements

Must-have

  • Formal verification methods
  • SystemVerilog Assertions (SVA)
  • Formal property verification
  • Formal verification tools

Nice-to-have

  • Full-cycle formal sign-off
  • GPU or LPU architecture understanding
  • Formal apps expertise

Key Requirements

  • 12+ years in ASIC verification
  • 8+ years focused on formal verification
  • BS/MS/PhD or equivalent experience in CS/CE/EE
  • Proficient on at least one popular formal verification tool
  • Good scripting skills for flow automation

Work Rights

Not specified

Tailored Resume

Cover Letter