Formal Verification Engineer

Q: מהם תחומי האחריות העיקריים של מהנדס/ת וריפיקציה פורמלית בתפקיד מאתגר זה?

התפקיד של מהנדס/ת וריפיקציה פורמלית בחברה המובילה הזו כולל ביצוע הוכחות פורמליות של תכונות על בלוקים שונים, שימוש בטכנולוגיות וריפיקציה פורמלית וטכניקות הפשטה, וכן הבנה ויישום של מפרטי חומרה ושפות מבוססות אסרציות לוגיות זמניות.

Q: היכן ממוקמת המשרה של מהנדס/ת וריפיקציה פורמלית באורגד מאגרים בע"מ ומה מאפיין את סביבת העבודה?

התפקיד של מהנדס/ת וריפיקציה פורמלית בחברת אורגד מאגרים בע"מ ממוקם באזורי השרון, חיפה והצפון, ומציע סביבת עבודה מתגמלת ומאתגרת בחברה מובילה בתחומה.

עדיין מחפשים עבודה במנועי חיפוש? הגיע הזמן להשתדרג!

במקום לעבור לבד על אלפי מודעות, Jobify מנתחת את קורות החיים שלך ומציגה לך רק משרות שבאמת מתאימות לך.

מעל 90,000 משרות • אלפי משרות חדשות בכל יום
חינם. בלי פרסומות. בלי אותיות קטנות.

DOCX, DOC, PDF - בעברית או באנגלית

כבר העליתם קו"ח בעבר? כניסה

אורגד מאגרים בע\"מ

חיפה

אורגד מאגרים בע\"מ

חיפה
מלאה
30,000-45,000 ₪ שכר משוער (AI)
השכר המצוין אינו פרסום של המעסיק

מיקום המשרה: השרון, חיפה והצפוןלחברה מובילה, נחשקת, מאתגרת, מתגמלת ועוד המון תארים מפרגנים... דרוש/ה מהנדס/ת וריפקציה מעולהדרישות:B.Sc in Electrical or Computer Engineering or Computer Science is requiredAdvanced knowledge of digital logic design.Must have done formal property proofs on several blocksSolid understanding of formal verification technologies and abstraction techniques.Knowledge and experience in interpreting hardware specifications andusing temporal logic assertion-based languages.