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

Formal Verification

Verilog

SystemVerilog

Scripting

Model Checking

Equivalence Checking

Assertions

CPU Architecture

GPU

Digital Logic

Microarchitecture

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