Senior Formal Verification Engineer
NVIDIAJob Title
Senior Formal Verification Engineer
Role Summary
Join NVIDIA's Hardware Engineering team to apply formal verification methods to complex digital designs, IP blocks and SoCs. The role owns verification deliverables, collaborates with design teams, and drives closure with verification peers.
Experience Level
Senior — typically requires 5+ years of relevant verification or engineering experience.
Responsibilities
The engineer will develop and execute formal verification plans and coordinate with design and verification teams to achieve closure.
- Apply formal verification methodologies to digital designs, IP blocks and SoCs.
- Develop robust verification and formal test plans for assigned designs.
- Execute verification plans and work directly with design teams to resolve issues.
- Coordinate with verification team members to track progress and achieve closure.
- Learn and adopt state-of-the-art formal verification techniques as needed.
Requirements
Must-have technical skills and experience.
- Hands-on experience with HDLs such as Verilog and SystemVerilog.
- Practical understanding of temporal logic assertions and their use in formal flows.
- Familiarity with abstraction techniques for effective verification.
- Ability to read and understand RTL quickly.
- Strong analytical and problem-solving skills.
Education Requirements
B.Tech. or M.Tech. in Electrical Engineering or Computer Science is required; posting specifies 5+ years of experience.
About the Company
Company: NVIDIA
Headquarters: Santa Clara, California, USA
NVIDIA is a global leader in accelerated computing, renowned for its innovative solutions in AI and digital twins that transform diverse industries. The company specializes in networking technologies, providing end-to-end InfiniBand and Ethernet solutions for servers and storage that optimize performance and scalability. NVIDIA serves sectors such as high-performance computing, enterprise data centers, and cloud computing, constantly reinventing its products and services to stay ahead in the market.
