Formal Verification Student

Want to get your hands on NVIDIA’s cutting-edge networking technologies? Our group is looking for a talented student to join us in developing the next-generation state-of-the-art switch & GPU products. Working with the Industry leaders in Data Centers, High-Performance Computing, Storage Platforms and more.What you will be doing:Work in a combined design and verification team which develops some of the Formal Verification core unitsBuild reference models, verify and simulate chip blocks/entities according to specifications under challenging constraints with high orientation to performance.Work closely with multiple teams within organizations such as Architecture, Micro- Architecture, and FW.What we need to see:Outstanding student pursuing B.Sc. in Computer Science/Computer/Electrical Engineering.Strong analytical, creative, debugging, and problem-solving skills.A teammate with a can-do attitude, and excellent interpersonal skills.Remaining studies of at least two full semestersAn official and updated grade sheet (in Word or PDF format, includes the GPA)Ways to stand out from the crowd:Knowledge of Networking protocols.Familiarity with Formal Verification.NVIDIA is widely considered to be one of the technology world’s most desirable employers. We have some of the most forward-thinking and hardworking people on the planet working for us. If you're creative and autonomous, we want to hear from you! NVIDIA is committed to fostering a diverse work environment and is proud to be an equal opportunity employer. As we highly value diversity in our current and future employees, we do not discriminate (including in our hiring and promotion practices) on the basis of race, religion, color, national origin, gender, gender expression, sexual orientation, age, marital status, veteran status, disability status or any other characteristic protected by law.