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

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

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

הגשת מועמדות

Senior Formal Verification Engineer

Mobileye

הגשת מועמדות

Mobileye

פתח תקווה

Senior Formal Verification Engineer

Mobileye

הגשת מועמדות

Mobileye

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

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:

6+ 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).

הגשת מועמדות

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

מהם תחומי האחריות העיקריים של מהנדס אימות פורמלי בכיר ב-Mobileye?

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

אילו כישורים וניסיון נדרשים לתפקיד מהנדס אימות פורמלי בכיר ב-Mobileye?

כיצד משתלב תפקיד מהנדס אימות פורמלי בכיר בפרויקטי הרדאר של Mobileye?

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