NVIDIA
Formal Verification Engineer (New Grad 2026)
- Location
- Gurugram
- Work mode
- See listing
- Experience
- 2026 batch · Freshers
- Pay
- ₹18–30 LPA (Est.)
- Type
- Full-time job, Developer
- Added
- 2 November 2026
About this role
This role sits in NVIDIA's hardware team in Gurugram, which builds GPUs used in graphics, AI and self-driving systems. The engineer applies formal verification methods to complex digital designs, IP blocks and SoCs. Day to day, this means writing a test plan for a design, running it with the design team and working with other verification engineers to reach closure. It suits new graduates in electrical or computer engineering who are comfortable with Verilog or SystemVerilog and want to learn formal methods.
NVIDIA is hiring for Formal Verification Engineer (New Grad 2026), a full-time role based in Gurugram.
Who can apply: 2026 batch · Freshers. Skills: Verilog, SystemVerilog, RTL, Formal verification.
Hirastra checked that this opening is live. Apply directly through the official posting; applying is always free.
What you'll do
- Learn state-of-the-art formal verification methodologies
- Apply formal methods to complex digital designs, IP blocks and SoCs
- Take ownership of verifying a design by building a robust test plan
- Execute the plan in collaboration with the design team
- Coordinate with other verification team members to reach closure
What you need
- B.Tech/M.Tech in Electrical Engineering, Computer Science or a related field
- Strong analytical skills for solving difficult problems
- Understanding of abstraction techniques for effective verification
- Hands-on experience with HDLs such as Verilog or SystemVerilog
- Ability to understand RTL quickly
- Understanding of temporal logic assertions
Skills
- Verilog
- SystemVerilog
- RTL
- Formal verification
"Est." = Hirastra's estimate based on market data, not an official figure.
All NVIDIA jobs and internships
More like this: IT jobs in Delhi NCR, Jobs and internships for the 2026 batch, Jobs and internships for final year students (2027 batch), Jobs for B.Tech and BE freshers, IT jobs for freshers, Software developer jobs
Similar openings
See all jobs- Verilog
- SystemVerilog
- Python
- Tcl
- Physical Design
Location: Bengaluru
Experience: Freshers welcomeFreshers (0–1 yrs)
Est. ₹12–20 LPA
Added
- Python
- Java
- C++
- Git
- Kafka
- Spark
- AWS
Location: Bengaluru
Experience: Freshers welcome2026 batch · Freshers
Est. ₹20–35 LPA
Added
- SystemVerilog
- UVM
- Digital Design
- Python
- Computer Architecture
Location: Bengaluru
Experience: Freshers welcome0–1 yrs exp · Freshers OK
Est. ₹10–16 LPA
Added
- RTL coding
- SystemVerilog
- DFT
- SCAN
- MBIST
Location: Bengaluru, Hybrid
Experience: Freshers welcomeFreshers (0–1 yrs)
Est. ₹12–20 LPA
Added
- SQL
- Jira
- API troubleshooting
- Incident management
Location: Gurugram, Hybrid
Experience: Freshers welcome0–2 yrs exp · Freshers OK
Est. ₹4–8 LPA
Added
- Verilog
- C++
- SystemVerilog
- UVM
- VCS
- Python
Location: Bengaluru, Hybrid
Experience: 1+ yrs exp
Est. ₹18–30 LPA
Added