-->
לוח משרות

Formal Verification Engineer

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

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.