Description
We are looking for a Formal Verification Engineer for our NVIDIA Networking team!
This is an exciting opportunity to join a hardworking Pre-Silicon design and verification team, working on groundbreaking Switch and GPU technologies. We deploy state-of-the-art formal verification tools and methodologies to prove design correctness.
Working in our formal verification team will expose you to a wide range of cutting-edge design and technologies that are in the heart of the AI revolution. Our team delivers world-class Chip solutions for HPC, AI infrastructures, data-center, network, and storage markets.
We micro-architect, verify, and deliver smart and high-bandwidth multi-port switches. NVIDIA has the most sophisticated formal tools and methodologies in the industry, which help us achieve A0 design tapeouts.
As part of this team, you'll enjoy a versatile work environment, which is educational, dynamic, and ambitious.
Responsibilities:
- In this position, you will use formal verification algorithms to formally prove the correctness of complicated logic problems.
- You will work on ambitious designs along with our Pre-Silicon team and take part in developing the next generation of NVIDIA's core technology.
- You will take part in the AI revolution led by NVIDIA, working on cutting-edge architecture.
Requirements:
- BSc in Electrical/Computer Engineering or MSc in Mathematics
- 5+ years of relevant experience in chip design field (design/verification/formal)
- Excellent analytical, logical reasoning, and problem-solving skills
- Strong debugging and analytical skills
- Strong communication and interpersonal skills are required
Ways to stand out from the crowd:
- Formal verification work experience
- Knowledge of digital logic