Description
We are looking for a Formal Verification Engineer to join our NVIDIA Networking team! This is an exciting opportunity to work on groundbreaking Switch technologies using state-of-the-art formal verification tools and methodologies to prove design correctness. As part of this team, you'll enjoy a versatile work environment that 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 also work on developing new formal verification methodologies and tactics.
Requirements:
- BSc in Electrical/Computer Engineering or MSc in Mathematics.
- 1+ years of experience
- Excellent analytical, logical reasoning, and problem-solving skills.
- Strong debugging and analytical skills.
- Strong communication and interpersonal skills are required.
Preferred Qualifications:
- Formal verification work experience.
- Knowledge of digital logic.