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

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

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

הגשת מועמדות

Formal Verification Engineer

חברה בתחום הייטק / חומרה / תוכנה / סייבר

הגשת מועמדות

חברה בתחום הייטק / חומרה / תוכנה / סייבר

פתח תקווה

Formal Verification Engineer

חברה בתחום הייטק / חומרה / תוכנה / סייבר

הגשת מועמדות

חברה בתחום הייטק / חומרה / תוכנה / סייבר

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

The Radar VLSI team 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.

Requirements:
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).

This position is open to all candidates.

הגשת מועמדות