Senior Formal Verification Engineer - LPU

- 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 in building, and influence micro-architecture decisions.

- Applying formal verification to rigorously ensure critical build properties align with specifications and minimize ambiguities.

- 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.

- 5+ years in ASIC verification with 3+ years passionate about formal verification methods.

- Proficiency in SystemVerilog Assertions (SVA) and formal property verification.

- Experience with at least one popular formal verification tool in the industry (JasperGold, VC Formal, etc.).

- Excellent skills in applying AI tools in daily engineering work to efficiently solve problems.

- Demonstrated success in full-cycle formal sign-off for complex builds.

- Expertise in formal applications: FPV apps, datapath verification, etc.

Widely considered to be one of the technology world's most desirable employers, NVIDIA offers highly competitive salaries and a comprehensive benefits package. As you plan your future, see what we can offer to you and your family www.nvidiabenefits.com/

Your base salary will be determined based on your location, experience, and the pay of employees in similar positions. The base salary range is 136,000 USD - 218,500 USD for Level 3, and 168,000 USD - 264,500 USD for Level 4.

Applications for this job will be accepted at least until July 10, 2026.