Senior Formal Verification Engineer at NVIDIA

Bengaluru, Karnataka, India

Apply Now

Not SpecifiedCompensation

Senior (5 to 8 years)Experience Level

Full TimeJob Type

UnknownVisa

Semiconductors, AI, HPCIndustries

Requirements

Minimum 3+ years of industry experience on formal techniques for verification
Excellent command of scripting
Bachelor's degree
Strong knowledge of architectures of CPU designs and digital logic
Hands-on experience with HDLs such as Verilog / System Verilog
Preferable experience with a variety of Formal Verification Tools

Responsibilities

Specification, implementation, and maintenance of an integrated end-to-end formal verification flow for the formal verification team
Developing scripts to automate the verification process
Review formal setups and proofs with design and verification teams
Maintain and extend assertion libraries, including support for both simulation and FV
Developing verification environment including environment assumptions, assertions and cover properties in context of the verification plan
Crafting and optimizing formal verification flows across CPU/GPU projects
Resolving tool issues for design teams with tool vendors
Verifying the micro-architecture using formal verification tools to employ the latest model checking and equivalence checking techniques
Understanding the design & implementation, defining the verification scope, and ensuring design correctness
Using advanced formal techniques to obtain full proofs, or sufficient bounded proofs, of the design
Working with architects, designers, pre- and post-silicon verification teams to accomplish tasks

Skills

Key technologies and capabilities for this role

Formal VerificationVerilogSystemVerilogScriptingModel CheckingEquivalence CheckingAssertionsCPU ArchitectureGPUDigital LogicMicroarchitecture

Questions & Answers

Common questions about this position

What is the location and work arrangement for this role?

The position is based in Bangalore with the Central Formal team and is listed as #LI-Hybrid, indicating a hybrid work model.

What are the required skills and qualifications for this Senior Formal Verification Engineer role?

Candidates need a minimum of 3+ years of industry experience with formal techniques for verification, excellent command of scripting, a Bachelor's degree, strong knowledge of CPU architectures and digital logic, and hands-on experience with HDLs such as Verilog/SystemVerilog.

What does a standout candidate look like for this position?

Standout candidates have worked on various pieces of CPU/GPU unit/microarchitecture verification, background with complex verification projects using formal techniques for closure, and experience collaborating with geographically diverse cross-functional teams.

What are the main responsibilities in this role?

Responsibilities include specifying, implementing, and maintaining formal verification flows, developing automation scripts, reviewing setups with teams, maintaining assertion libraries, and developing verification environments with assumptions, assertions, and cover properties.

What is the company culture like at NVIDIA for this team?

NVIDIA is committed to encouraging a diverse work environment, values diversity in employees, and is proud to be an equal opportunity employer without discrimination based on protected characteristics.

NVIDIA

Designs GPUs and AI computing solutions

About NVIDIA

NVIDIA designs and manufactures graphics processing units (GPUs) and system on a chip units (SoCs) for various markets, including gaming, professional visualization, data centers, and automotive. Their products include GPUs tailored for gaming and professional use, as well as platforms for artificial intelligence (AI) and high-performance computing (HPC) that cater to developers, data scientists, and IT administrators. NVIDIA generates revenue through the sale of hardware, software solutions, and cloud-based services, such as NVIDIA CloudXR and NGC, which enhance experiences in AI, machine learning, and computer vision. What sets NVIDIA apart from competitors is its strong focus on research and development, allowing it to maintain a leadership position in a competitive market. The company's goal is to drive innovation and provide advanced solutions that meet the needs of a diverse clientele, including gamers, researchers, and enterprises.

Santa Clara, CaliforniaHeadquarters

1993Year Founded

$19.5MTotal Funding

IPOCompany Stage

Automotive & Transportation, Enterprise Software, AI & Machine Learning, GamingIndustries

10,001+Employees

Benefits

Company Equity

401(k) Company Match

Risks

Increased competition from AI startups like xAI could challenge NVIDIA's market position.

Serve Robotics' expansion may divert resources from NVIDIA's core GPU and AI businesses.

Integration of VinBrain may pose challenges and distract from NVIDIA's primary operations.

Differentiation

NVIDIA leads in AI and HPC solutions with cutting-edge GPU technology.

The company excels in diverse markets, including gaming, data centers, and autonomous vehicles.

NVIDIA's cloud services, like CloudXR, offer scalable solutions for AI and machine learning.

Upsides

Acquisition of VinBrain enhances NVIDIA's AI capabilities in the healthcare sector.

Investment in Nebius Group boosts NVIDIA's AI infrastructure and cloud platform offerings.

Serve Robotics' expansion, backed by NVIDIA, highlights growth in autonomous delivery services.

Land your dream remote job 3x faster with AI

Try Jobo Free