Senior Formal Verification Engineer - LPU

Senior Formal Verification Engineer

At NVIDIA, you will be responsible for verifying AI‑related sophisticated ASIC builds and features using advanced formal verification methods. You will collaborate closely with architecture and RTL teams, articulate formal verification coverage, develop advanced formal verification environments, and support silicon bring‑up using formal methods.

• Verifying AI‑related sophisticated ASIC builds & features using advanced formal verification methods.
• Collaborating closely with architecture and RTL teams to specify properties, resolve complex issues, and influence micro‑architecture decisions.
• Applying formal verification to rigorously ensure critical build properties align with specifications and minimize ambiguities.
• Articulating formal verification coverage to partners.
• Developing advanced formal verification environments and methodologies for complex ASIC designs, including building automated flows for scalability and efficiency.
• Supporting silicon bring‑up and debug using formal methods where applicable.

• BS/MS/PhD or equivalent experience in CS/CE/EE.
• 5+ years in ASIC verification with 3+ years passionate about formal verification methods.
• Proficiency in System Verilog Assertions (SVA) and formal property verification.
• Experience with at least one popular formal verification tool in the industry (Jasper Gold, VC Formal, etc.).
• Excellent skills in applying AI tools in daily engineering work to efficiently solve problems.
• Strong written and oral communication skills.
• Keen attention to detail.

• Demonstrated success in full‑cycle formal sign‑off for complex builds.
• Expertise in formal applications: FPV apps, datapath verification, etc.
• Deep understanding of GPU or LPU architecture build.

Base salary ranges from $136,000 to $218,500 for Level 3 and $168,000 to $264,500 for Level 4. You will also be eligible for equity and benefits.

NVIDIA is committed to fostering a diverse work environment and is an equal opportunity employer. We do not discriminate on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.

Applications will be accepted until April 26, 2026.