Formal Verification Engineer

workהגשת מועמדות
  • pin_dropמיקוםתל אביב יפו
  • bubble_chartקטגוריהפיתוח חומרה
  • schoolנסיון3-4 שנות ניסיון
  • workסוג משרהמשרה מלאה

תיאור משרה

We’re looking for talented university recently graduates or with HW related experience, with real passion for Logic design and/or Mathematics, to join our unique formal verification team.

We’re offering formal verification course for learning the theory and practice from our leading industry experts.

Formal verification (FV), means proving that a property holds for a model of a design. Proving is done exhaustively for all possible cases.

FV can be applied to verify SW or HW, our focus is on verifying HW (RTL) using Model checking techniques

Description

In this role you will be responsible for applying model checking techniques, to find bugs in RTL and architecture specifications

Education & Experience

B.Sc. in Electrical/Computer Engineering.

דרישות תפקיד

  • Excellent graduates from leading universities
  • Analytical thinking
  • Highly motivated

workהגשת מועמדות

Apple

על החברה

Apple הובילה למהפכה בעולם הטכנולוגי עם הכרזת ה-Macintosh ב-1984. כיום, נחשבת החברה למובילה בתחום החדשנות עם מכשירי ה-iPhone, ה-iPad, ה-Apple Watch, ה-Mac וה-Apple TV. חמש פלטפורמות התוכנה של החברה: iOS, macOS, watchOS ,tvOS ו -iPadOS – מאפשרות חוויית שימוש פשוטה ושקופה כמעט לחלוטין על גבי כלל המכשירים שלה וגישה לשירותים כגון Apple Pay -Apple Music, App Store ו-iCloud. בשנת 2019 העמיקה Apple את כניסה לתחום שירותי התוכן עם השקת Apple News+ ,Apple Arcade ,Apple Card ו +Apple TV. Apple משנה את האופן שבו אנו חיים, עם יותר מ-2 מליון אפליקציות ב-App Store. באפל עובדים למעלה מ-100 אלף עובדים, מעל 1400 מהם בישראל, המתמקדים בפיתוח המוצרים הטובים ביותר בעולם ובמטרה להפוך את העולם שלנו למעט יותר טוב.

account_balanceעוד על Apple