jobify_logo

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

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

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

הגשת מועמדות

AI-Fabrics AI-Fabrics

  • קיסריה
  • LinkedIn
LinkedIn

AI-Fabrics AI-Fabrics

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


A unique opportunity to take part in building an R&D team for a global company.

We are seeking highly experienced and visionary formal verification engineers to contribute to the development of advanced AI connectivity architectures and help define the formal verification methodology from the ground up.

Responsibilities:

• Define and execute formal verification strategies and methodologies for complex SoCs, IPs, and networking architectures (Switches, NICs, SmartNICs).

• Develop, implement, and maintain formal verification environments and test plans from concept to production.

• Specify formal properties, assertions, and constraints using formal tools and SystemVerilog Assertions (SVA).

• Own the formal verification environment, including setup, maintenance, and integration with simulation-based flows.

• Collaborate closely with architecture, RTL, and design teams to identify corner cases, ensure functional correctness, and drive verification sign-off.

• Act as a key contributor in shaping the formal verification infrastructure and methodology of the new Israeli site.

Qualifications:

• B.Sc. in Computer Science or Computer Engineering.

• 5+ years of industry experience in formal verification.

• Proven experience with JasperGold, VC Formal, or similar formal verification tools.

• Demonstrated ownership and maintenance of formal verification environments.

• Strong analytical and problem-solving skills.

• Team player with excellent interpersonal and communication abilities.

Advantages:

• Experience as a verification engineer with practical knowledge of SystemVerilog and UVM methodology.

• Familiarity with networking architectures and IPs (Switches, NICs, SmartNICs).

• Experience integrating formal verification within broader project verification flows.



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

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

הגשת מועמדות

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

מהנדס אימות פורמלי ב-AI-Fabrics יהיה אחראי על הגדרה וביצוע אסטרטגיות אימות פורמליות עבור SoCs, IPs וארכיטקטורות רשת מורכבות. התפקיד כולל פיתוח סביבות אימות, הגדרת מאפיינים פורמליים באמצעות SVA, ותחזוקת סביבת האימות הפורמלית, תוך שיתוף פעולה הדוק עם צוותי ארכיטקטורה ו-RTL.

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

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

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