Senior Formal Verification Engineer – Hardware Design

National Council of Training Academy (NCTA); Gurugram District, Bengaluru; On-site; INR 2,500,000 - 5,500,000; Full time

Job summary

Nvidia in India is seeking a Senior Formal Verification Engineer to apply formal methodologies on complex digital designs, IP blocks, and SoCs within the Hardware Engineering team in Gurugram/Bengaluru. This permanent, full-time role requires 5+ years of HDL experience and strength in temporal logic assertions.

You will develop robust test plans, own the verification process from test planning to closure, and collaborate with design teams to drive verification across consumer graphics, AI

Qualifications

• 5+ years of HDL and formal verification experience.
• Proficiency in Verilog/SystemVerilog and temporal logic assertions.
• Ability to drive verification closure and coordinate with design teams.

Responsibilities

• Learn and apply state-of-the-art formal verification techniques.
• Verify complex designs using formal methods.
• Own the verification process from test planning to execution and coordination with the design team.

Skills

Verilog/SystemVerilog

Formal verification

RTL understanding

Temporal logic

Problem-solving

Education

B.Tech / M.Tech in Electrical Engineering or Computer Science

Job description

Senior Formal Verification Engineer – Hardware Design

06 May

Job Details

Organisation Nvidia Department Engineering - Hardware & Networks Job Type Non Government Employment Type Full Time Location Gurugram, Bengaluru Vacancies 1 Application Last Date -

Nvidia seeks a Senior Formal Verification Engineer to apply formal methodologies on complex digital designs, IP blocks, and SoCs. Requires 5+ years of experience, strong HDL (Verilog/System Verilog) skills, and expertise in temporal logic assertions. Join a team shaping the future of computing across graphics, AI, and self-driving cars.

Full Job Details:

Nvidia is hiring a Senior Formal Verification Engineer to join its Hardware Engineering team. This role involves using advanced formal verification methodologies to verify complex digital designs, IP blocks, and SoCs. You will develop robust test plans, work closely with design teams, and drive verification closure. The position offers the chance to impact product lines from consumer graphics to self-driving cars and artificial intelligence.

Key Responsibilities:

• Learn and apply state-of-the-art formal verification techniques.
• Verify complex designs using best-in-class formal methods.
• Own the verification process, from test planning to execution and coordination with the design team.

Required Qualifications:

• B.Tech / M.Tech in Electrical Engineering or Computer Science with 5+ years of experience.
• Strong analytical and problem-solving skills.
• Proficiency in Verilog / System Verilog and quick RTL understanding.
• Knowledge of temporal logic assertions and abstraction techniques for effective verification.
• Experience in hardware engineering and formal verification.

Location: Gurugram, Bengaluru. Employment Type: Full-time, Permanent. Industry: Electronic Components / Semiconductors. Job Category: Hardware. Vacancies: 1.