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

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

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

חברה בתחום אחר

הוד השרון

חברה בתחום אחר

הוד השרון
מלאה
25,000-35,000 ₪ (הערכה מבוססת AI)
הערכה מבוססת AI ולא שכר של המעסיק

We are looking for a Formal Verification expert specializing in RTL/ASIC verification to work on a new cutting-edge RISC‑V application processor. The role involves ownership of formal methodologies, verification strategy definition, and close collaboration with architecture and design teams to ensure full functional correctness of complex processor units.
An ideal candidate will have at least 8 years of work experience with various formal applications and tools.
This is a 5 days onsite position in Hod Hasharon
Responsibilities
Understand high-level specifications and detailed requirements for application processor design logical units.
Collaborate with cross functional teams such as architecture, design, and software teams on formal verification planning.
Formal Verification expert to lead all formal activities for a new RISC-V application processor.

Requirements:
BSc. in Electrical and/or Computer Engineering with up to 12 years of experience with RTL ASIC verification, specializing in Formal verification.
Knowledge and experience in one of the following: CPU, RISC-V architecture, micro-controllers, memory and cache controllers is an advantage.
Experience with Verilog, System Verilog, SVA.
Able to express complex concepts in fluent technical English.
Minimum Qualifications
Bachelor's degree in Computer Engineering, Computer Science, Electrical Engineering, or related field and 4+ years of Software Engineering, Hardware Engineering, Electrical Engineering, Systems Engineering, or related work experience.
OR
Master's degree in Computer Engineering, Computer Science, Electrical Engineering, or related field and 3+ years of Software Engineering, Hardware Engineering, Electrical Engineering, Systems Engineering, or related work experience.
OR
PhD in Computer Engineering, Computer Science, Electrical Engineering, or related field and 2+ years of Software Engineering, Hardware Engineering, Electrical Engineering, Systems Engineering, or related work experience.

This position is open to all candidates.