Formal Verification Engineer
NVIDIA is hiring a Formal Verification Engineer in Bengaluru to join their semiconductor and AI hardware team. You will be responsible for formally verifying complex designs using advanced property proving techniques and internal tools. The role requires experience in hardware micro-architecture, formal testbenches, and creating high-quality testplans. You will collaborate closely with design and architecture teams to ensure robust hardware sign-off.
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 hiring a Formal Verification Engineer in Bengaluru to join their semiconductor and AI hardware team. You will be responsible for formally verifying complex designs using advanced property proving techniques and internal tools. The role requires experience in hardware micro-architecture, formal testbenches, and creating high-quality testplans. You will collaborate closely with design and architecture teams to ensure robust hardware sign-off.
TAL's take
Exceptional Tier-1 global company with a highly specialized engineering role in hardware verification.
The JD clearly defines the scope, technical stack, and interaction with design and internal R&D teams.
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
- 2+ years of relevant experience
- Understanding of hardware micro-architecture and design
- Conversant with formal verification technologies
- Experience in formal property verification on complex units
- Proficiency in testplans and building formal testbenches
Tools and skills
Nice to have: python, perl, shell scripting.
About the company
NVIDIA is a top-tier global semiconductor and AI infrastructure company.