Senior Formal Verification Engineer
NVIDIA· Engineer, ASIC
Santa Clara, CA, Austin, TX$136k - $218.5kFull-timePosted 7mo ago
About the role
Formal Verification Engineer responsible for verifying micro-architecture using formal verification tools, defining verification scope, and delivering high-quality results across the project cycle for NVIDIA GPUs.
Responsibilities
- Identify key behaviors for verification to write clear testplans for sophisticated designs.
- Implement testplans using the latest formal techniques, including environment assumptions, assertions, and cover properties.
- Develop abstraction models to overcome complexity and acquire full or bounded proofs with sufficient coverage.
- Drive formal tools to realize their best performance.
- Debug RTL to identify causes of failure scenarios.
- Contribute to flow and script development to improve team efficiency.
- Articulate formal verification coverage to partners.
Qualifications
- BS/MS/PhD or equivalent experience in CS/CE/EE/Mathematics with 5+ years of experience.
- Understanding of GPU/CPU architectures and engineering work flows.
- Experience with Verilog / System Verilog HDLs and ability to understand sophisticated RTL quickly.
- Experience with formal tools and knowledge of formal verification methodologies.
- Ability to implement abstraction techniques for effective verification.
- Strong analytical skills to tackle sophisticated problems.
- Excellent command of scripting using TCL, Perl, and/or Python.
- Excellent written and verbal communication.
- Ability to optimally collaborate and work in a distributed team.
Skills
Required:Verilog / SystemVerilogFormal verification methodologiesAbstraction techniquesScriptingCommunication
Benefits
- equity
- comprehensive benefits package
- competitive salaries (base salary ranges provided)
Last updated Sep 25, 2026. Interested? Apply on the company site.
About NVIDIA
World Leader in AI Computing
NVIDIA invents the GPU and drives advances in AI, HPC, gaming, creative design, autonomous vehicles, and robotics.
AIautonomous vehiclesgaminggpugraphics cardhigh performance computingliquid-ai-recruiting-targetllm
More open roles at NVIDIA
- Senior Physical Verification Engineer4d agoEngineer, ASIC
- Senior System Software Engineer, Display Security4d agoEngineer, Sys SW
- Senior FPGA Prototyping Engineer - Hardware4d agoSanta Clara, CA · Engineer, ASIC
- Senior Product Engineer4d agoHybrid (Thailand) · Engineer, Product Development
- Senior Architect - Data Processing Systems, Analytics and Data Intelligence4d agoHybrid (Remote / Local) · Architect