Senior Formal Verification Engineer

🕒 February 10

Apply Now

Find Similar Remote Jobs

Set Up Email Alert For New Jobs

📊 Check your resume score for this job

Improve your chances of getting an interview by checking your resume score before you apply.

Upload Resume

NVIDIA

WebsiteLinkedInAll Job Openings

10,000+ employees

Founded 1993

🤖 Artificial Intelligence

🎮 Gaming

Artificial Intelligence • Gaming • Automotive

NVIDIA is a leading technology company specializing in accelerated computing and artificial intelligence. NVIDIA pioneers advancements in graphical processing units (GPUs), cloud computing, data centers, and virtual reality, with a focus on gaming, automotive, healthcare, and robotics industries. The company's innovations, such as NVIDIA Omniverse, transform traditional digital processes by enabling high-fidelity simulations and rendering tasks. Their applications span various industries, from autonomous vehicles using NVIDIA DRIVE to healthcare solutions with NVIDIA Clara, and AI-driven analytics and workflows.

📋 Description

• Verify AI-related sophisticated ASIC designs & features with formal verification methods. • Partner with architecture/RTL teams to specify properties, resolve deep design issues, and influence micro-architecture decisions. • Leverage and unleash the power of formal verification to rigorously verify critical design properties and ensure compliance with specifications, as well as minimize spec ambiguities. • Develop and implement advanced formal verification environments and methodologies for complex ASIC designs, including automated flows for scalability and efficiency. • Train and coach junior engineers on formal techniques and standard processes; Help on methodology/FAQ documentation.

🎯 Requirements

• BS/MS/PhD or equivalent experience in CS/CE/EE • 12+ years in ASIC verification with 8+ years focused on formal verification methods • Mastery of SystemVerilog Assertions (SVA) and formal property verification • Proficient on at least one popular formal verification tool in the industry (JapserGold, VC Formal, etc.) • Good scripting skills for flow automation (tcl, python, etc.)

🏖️ Benefits

• Competitive salaries • Comprehensive benefits package