Formal Verification Engineer

Overview

• 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 NIC 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.
• Our NIC team delivers world class CPU interface and offload solutions for HPC, data-center, network, and storage markets.
• We micro-architect, verify, and deliver the best and most widely used high BW ethernet and IB NICs in the industry.
• 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.
• What you'll be doing: 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.
• Learn state of the art formal methodologies and advance your expertise in communication protocols and hardware implementations.
• What we need to see: BSc in Electrical/Computer Engineering or MSc in Mathematics, or equivalent experience.
• 1-3 years of relevant experience.
• 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.
• NVIDIA has some of the most forward-thinking and hardworking people in the world working for us.
• Are you a creative and autonomous engineer who loves a challenge? Come join our team and help us build the future HPC and data centers.