Formal Verification Engineer
NVIDIAJob Title
Formal Verification Engineer
Role Summary
Join NVIDIA Networking's Pre-Silicon design and verification team focused on switch technologies. The role applies formal verification algorithms and methodologies to prove correctness of complex logic in bridge and router designs for HPC, data-center, network, and storage markets.
Work includes developing formal verification tactics, collaborating with pre-silicon designers, and contributing to next-generation switch micro-architecture.
Experience Level
Entry-level / Early Career — 1+ years of relevant experience.
Responsibilities
Main responsibilities include:
- Use formal verification algorithms to prove correctness of complex logic.
- Develop and apply formal verification methodologies and tactics.
- Collaborate with Pre-Silicon design and verification teams on ambitious switch designs.
- Debug and analyze verification failures and improve verification flows and tool usage.
Requirements
Must-have skills and experience:
- 1+ years of relevant industry or research experience in verification or related fields.
- Excellent analytical and logical reasoning skills.
- Strong debugging and analytical skills.
- Strong communication and interpersonal skills.
Nice-to-have:
- Prior formal verification experience.
- Knowledge of digital logic design.
Education Requirements
BSc in Electrical Engineering or Computer Engineering, or MSc in Mathematics (as listed in the source).
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.
