Formal Verification Engineer
NVIDIAJob Title
Formal Verification Engineer
Role Summary
Work on pre-silicon formal verification for NVIDIA's Networking (NIC) team to prove correctness of complex logic and communication protocols. The role sits on the Pre-Silicon verification team supporting high-bandwidth Ethernet and InfiniBand NIC designs.
Experience Level
Mid-level. No specific years of experience were listed.
Responsibilities
Primary responsibilities focus on applying formal methods to verify hardware designs and collaborating with pre-silicon engineering teams.
- Apply formal verification algorithms and tools to prove correctness of digital logic and protocol implementations.
- Analyze and formalize complex design properties and corner cases.
- Collaborate with RTL design and verification engineers during development and bring-up to ensure correctness before tapeout.
- Develop and maintain formal verification environments, assertions, and proofs.
- Learn and advance state-of-the-art formal methodologies relevant to NICs, HPC, and data-center interfaces.
Requirements
Must-have technical and interpersonal skills.
- Excellent analytical, logical reasoning, and problem-solving skills.
- Strong debugging and root-cause analysis skills for hardware and verification flows.
- Effective verbal and written communication; ability to work in cross-functional teams.
- Ability to learn and apply formal verification methodologies and tools quickly.
Nice-to-have:
- Previous formal verification experience.
- Knowledge of digital logic and hardware design concepts.
Education Requirements
BSc in Electrical or Computer Engineering, or an MSc in Mathematics; or equivalent practical experience is acceptable.
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.
