jobify_logo

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

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

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

הגשת מועמדות

Mobileye Mobileye

  • פתח תקווה
  • LinkedIn
LinkedIn

Mobileye Mobileye

  • פתח תקווה
  • bag_icon היברידית
  • coins_icon 35,000-55,000 ₪ (הערכה מבוססת AI)
    זוהי הערכת טווח שכר מבוססת AI ולא פרסום של המעסיק
  • LinkedIn
LinkedIn


The Radar VLSI team at Mobileye EyeC is looking for an experienced Formal Verification Engineer to join us! This is a newly established team with a mission to integrate Formal Verification as a key methodology in Radar projects. Be part of a cutting-edge group designing chips for radar systems in ADAS and autonomous vehicles, where your expertise will have a significant impact.

What will your job look like:

  • You will verify unique and complex design blocks.
  • Help determine the Formal strategy and methodology for the team.
  • Explore new Formal methods and tools.

All you need is:

  • 4+ years of experience in Formal Verification.
  • Strong debug skills.
  • In-depth knowledge of how Formal works.
  • Experience in System Verilog - Advantage.
  • Knowledge in Industry Standard protocols such as AXI/OCP/APB - Advantage.
  • Experience with multiple clock domains during cover block by Formal.
  • Knowledge of the following programming languages: Perl/Bash/Tcl/Python.
  • Experience with Hardware Verification concepts and tools (UVM).



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

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

הגשת מועמדות

שאלות ותשובות עבור משרת Formal Verification Engineer

כמה שנות ניסיון נדרשות לתפקיד מהנדס וריפיקציה פורמלית ב-Mobileye? לתפקיד מהנדס וריפיקציה פורמלית ב-Mobileye נדרשות לפחות 4 שנות ניסיון בווריפיקציה פורמלית. בנוסף, יש צורך בידע מעמיק באופן פעולת הווריפיקציה הפורמלית, יכולות דיבוג חזקות, וניסיון עם כלי ומתודולוגיות ווריפיקציית חומרה.

משרות נוספות מומלצות עבורך

2026 Ⓒ ג'וביפיי - כל הזכויות שמורות

קרן עזריאלי טקסט בעברית עם סמל אינסוף social_security the_israeli_employment_service israel_innovation_authority work_office המקום