תיאור התפקיד:

NVIDIA is seeking best-in-class ASIC Verification Engineers to help deliver the world’s leading CPU's and SoC's. This position offers you the opportunity to have real impact in a dynamic, technology-focused company impacting product lines ranging from consumer graphics to self-driving cars and the growing field of artificial intelligence. NVIDIA is a “learning machine” that constantly evolves by adapting to new opportunities that are hard to pursue, that only we can take on, and that matter to the world. We have crafted a team of excellent people stretching around the globe, whose mission is to push the frontiers of what is possible today and define the platform for the future of computing.

NVIDIA is building a new group in Israel, this group delivers security engines and risc-V processor IPs to all of NVIDIA product lines working with all NVIDIA groups around the world. We are looking for inquisitive, motivated engineers with experience to continue to build this new group. As a senior member of our team, you will be responsible for the verification of high-performance, low-power security engines and risc-V processor modules. You will work closely with architects, design engineers, FC verification engineers, and SW teams.

What you will be doing:

• Participate in micro-architecture development and document specifications.
• Build System Verilog UVM verification environments for IPs in areas of crypto and Risc-V platforms.
• Build verification and test plans to get to complete coverage.
• Work with the designers in our team to debug and clean all bugs
• Deliver the IPs to higher level verification like Cluster, FC and emulation.

‍

דרישות התפקיד:

• A bachelor’s degree in electrical engineering or computer engineering
• 5+ years of relevant experience in verification of complex designs.
• Proficient in System-Verilog and UVM methodology.
• Good interpersonal skills. And team player.

• Background with crypto RTL units (AES, RSA, PQC)
• Experience working on Risc-V or Risc-V peripherals
• Experience working in a diverse and global environment (working with engineers from China, India, and the US).

‍

תיאור התפקיד:

• פיתוח ואימות (Verification) של בלוקים ברכיבים בהתאם למפרטים ותחת אילוצים מורכבים.
• דגש רב על אופטימיזציה של צריכת הספק (Power), שטח רכיב (Area) וביצועים (Performance).
• העבודה השוטפת כוללת אינטגרציה, בדיקות ופתרון תקלות (Debug).
• שיתוף פעולה הדוק עם צוותי תוכנה (Firmware) וקבוצות פיתוח נוספות ברחבי העולם.

‍

דרישות התפקיד:

• 5+ שנות ניסיון
•  Hands-on
• ידע מעמיק בתכנון ומימוש סביבות וריפיקציה ברמת Unit level.
• עבודה עם ממשקים נוספים, כגון: Design, FW, Integration, etc.
• יתרון: ידע קודם בתחום ההצפנות או המחשוב

‍

תיאור התפקיד:

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.

‍

דרישות התפקיד:

• 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.

• Formal verification work experience.
• Knowledge of digital logic.

‍