Formal Verification Engineer
NVIDIA is seeking a Formal Verification Engineer to join their semiconductor engineering team in Bengaluru. The role involves designing and executing formal verification testplans for complex hardware units using advanced property-proving techniques. You will work closely with architecture and R&D teams to build robust testbenches and optimize verification flows. This role requires a strong background in hardware architecture and proven experience in functional formal verification.
50k new jobs listed every day. Install TAL to find more jobs like this.
Experience
2+ years
Function
Engineering
Work mode
Onsite, India
Company
Tier 1
What you will work on
NVIDIA is seeking a Formal Verification Engineer to join their semiconductor engineering team in Bengaluru. The role involves designing and executing formal verification testplans for complex hardware units using advanced property-proving techniques. You will work closely with architecture and R&D teams to build robust testbenches and optimize verification flows. This role requires a strong background in hardware architecture and proven experience in functional formal verification.
TAL's take
High-tier global company offering a specialized engineering role in hardware formal verification with clear project impact.
The JD clearly outlines the responsibilities, required technical expertise, and team interactions for the formal verification function.
Salaries at NVIDIA
29.5 LPA average
Based on 43 Grapevine salary entries for NVIDIA.
Engineering
0 - 2 years | IC2
14 LPA average
Range: 5 - 21 LPA
Engineering
2 - 4 years | IC3
21 LPA average
Range: 20 - 22 LPA
Engineering
4 - 6 years | IC3
29 LPA average
Range: 23 - 35 LPA
Engineering
6 - 8 years | SDE 2
30 LPA average
Range: 17 - 37 LPA
Must haves
- B.Tech/M.Tech degree
- 2+ years of relevant experience
- Understanding of hardware micro-architecture and design
- Formal property verification experience
- Ability to build formal testbenches and create testplans
Tools and skills
Nice to have: python, perl, shell scripting.
About the company
NVIDIA is a top-tier global semiconductor and AI infrastructure leader.