Senior Chip Design Engineer, Formal Verification
פורסם לפני 14 ימים · 0 מועמדים
התפקיד במילים פשוטות
התפקיד כולל שימוש באלגוריתמים של אימות פורמלי (Formal Verification) כדי להוכיח את התקינות של בעיות לוגיות מורכבות בשבבים. המהנדס יעבוד בשיתוף פעולה עם צוות ה-Pre-Silicon על פיתוח טכנולוגיית הליבה הבאה של החברה עבור מערכות בינה מלאכותית ומרכזי נתונים.
- 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
- Formal verification work experience
- Knowledge of digital logic
חולץ מתיאור המשרה · מתעדכן אוטומטית
למי זה מתאים
התפקיד מתאים למהנדסי שבבים בעלי תואר ראשון בהנדסת חשמל או מחשבים, או תואר שני במתמטיקה, עם לפחות 5 שנות ניסיון בתחום התכנון או האימות של שבבים. הוא פחות יתאים למי שאין לו רקע חזק בניתוח לוגי, פתרון בעיות ודיבאגינג.
תיאור המשרה המלא
המשרה המקורית · נשמר לעיוןWe are looking for a Senior Chip Design Engineer, Formal Verification 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 Chips 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 tape-outs. 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.
• You will take part in the AI revolution led by NVIDIA, working on cutting edge architecture.
What We Need To See
• 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
• Team Player
• 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. NVIDIA is committed to fostering a diverse work environment and proud to be an equal opportunity employer.
, , JR2017792
שאלות על המשרה
- המשרה לא ציינה שכר. אנחנו מציגים שכר רק כשהמעסיק מפרסם אותו.
- 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