Senior Formal Verification Engineer – Hardware Design
By NCTA - NvidiaJob 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. Apply directly on the Nvidia company site.
