עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
מלאה
30,000-45,000 ₪
מיקום המשרה: השרון, חיפה והצפון
לחברה מובילה, נחשקת, מאתגרת, מתגמלת ועוד המון תארים מפרגנים... דרוש/ה מהנדס/ת וריפקציה מעולה
דרישות:
B.Sc in Electrical or Computer Engineering or Computer Science is required
Advanced knowledge of digital logic design.
Must have done formal property proofs on several blocks
Solid understanding of formal verification technologies and abstraction techniques.
Knowledge and experience in interpreting hardware specifications and
using temporal logic assertion-based languages.
במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.
מעל 80,000 משרות • 4,000 חדשות ביום
חינם. בלי פרסומות. בלי אותיות קטנות.
שאלות ותשובות עבור משרת Formal Verification Engineer
מהנדס/ת וריפיקציה פורמלית בחברת אורגד מאגרים בע"מ נדרש/ת להיות בעל/ת תואר ראשון בהנדסת חשמל, הנדסת מחשבים או מדעי המחשב. כמו כן, נדרש ידע מתקדם בתכנון לוגיקה דיגיטלית, ניסיון מוכח בהוכחות פורמליות של תכונות על מספר בלוקים, והבנה מוצקה של טכנולוגיות וריפיקציה פורמלית וטכניקות הפשטה.
משרות נוספות מומלצות עבורך
-
Senior Emulation Verification Engineer, Google Cloud
-
חיפה
Google
-
-
verification engineer
-
תל אביב - יפו
Medulla
-
-
Verification Engineer - Cisco Silicon One
-
קיסריה
Cisco
-
-
Verification Engineer
-
תל אביב - יפו
Dialog
-
-
Senior Verification Engineer - Cisco Silicon One
-
קיסריה
Cisco
-
-
Formal Verification Engineer
-
פתח תקווה
Intel
-
