jobify_logo ×
  • מִשׁתַמֵשׁ
  • התחברות/הרשמה
  • עמוד הבית
  • מי אנחנו
  • מעסיקים מובילים
  • צרו קשר
  • תנאי שימוש
  • מדיניות פרטיות
  • הצהרת נגישות
קרן עזריאלי טקסט בעברית עם סמל אינסוף social_security the_israeli_employment_service work_office המקום
jobify_logo
  • מי אנחנו
  • מעסיקים מובילים
  • פרסום משרה חדש
  • צרו קשר
דילוג לתוכן

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

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

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

הגשת מועמדות

ASIC Formal Verification Staff Engineer - Qualcomm, Hod Hasharon, Israel

Qualcomm

הגשת מועמדות

Qualcomm Qualcomm

  • הוד השרון
  • LinkedIn
LinkedIn

ASIC Formal Verification Staff Engineer - Qualcomm, Hod Hasharon, Israel

Qualcomm

הגשת מועמדות

Qualcomm Qualcomm

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


Company

Qualcomm Israel Ltd.

Job Area

Engineering Group, Engineering Group > Modem Technologies

General Summary

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.

Required Skills And Experience

  • 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.

  • References to a particular number of years experience are for indicative purposes only. Applications from candidates with equivalent experience will be considered, provided that the candidate can demonstrate an ability to fulfill the principal duties of the role and possesses the required competencies.

Qualcomm is an equal opportunity employer. If you are an individual with a disability and need an accommodation during the application/hiring process, rest assured that Qualcomm is committed to providing an accessible process. You may e-mail [email protected] or call Qualcomm's toll-free number found here. Upon request, Qualcomm will provide reasonable accommodations to support individuals with disabilities to be able participate in the hiring process. Qualcomm is also committed to making our workplace accessible for individuals with disabilities. (Keep in mind that this email address is used to provide reasonable accommodations for individuals with disabilities. We will not respond here to requests for updates on applications or resume inquiries).

Qualcomm expects its employees to abide by all applicable policies and procedures, including but not limited to security and other requirements regarding protection of Company confidential information and other confidential and/or proprietary information, to the extent those requirements are permissible under applicable law.

To all Staffing and Recruiting Agencies: Our Careers Site is only for individuals seeking a job at Qualcomm. Staffing and recruiting agencies and individuals being represented by an agency are not authorized to use this site or to submit profiles, applications or resumes, and any such submissions will be considered unsolicited. Qualcomm does not accept unsolicited resumes or applications from agencies. Please do not forward resumes to our jobs alias, Qualcomm employees or any other company location. Qualcomm is not responsible for any fees related to unsolicited resumes/applications.

If you would like more information about this role, please contact Qualcomm Careers.


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

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

הגשת מועמדות

שאלות ותשובות עבור משרת ASIC Formal Verification Staff Engineer - Qualcomm, Hod Hasharon, Israel

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

לצורך תפקיד זה ב-Qualcomm, נדרש תואר ראשון בהנדסת חשמל ו/או מחשבים עם עד 12 שנות ניסיון באימות RTL ASIC, בהתמחות באימות פורמלי. ידע וניסיון בארכיטקטורת CPU, RISC-V, מיקרו-בקרים, בקרי זיכרון ומטמון, וכן ניסיון עם Verilog, System Verilog ו-SVA, מהווים יתרון משמעותי.

משרת ASIC Formal Verification Staff Engineer ב-Qualcomm בהוד השרון היא משרה פרונטלית מלאה, המחייבת נוכחות באתר חמישה ימים בשבוע.

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

    Senior Formal Verification Engineer

    • map_icon תל אביב - יפו
    Samsung Research and Development Center Israel

    Samsung Research and Development Center Israel

  • רשימת משאלות

    Formal Verification Engineer

    • map_icon פתח תקווה
    Intel

    Intel

  • רשימת משאלות

    Formal Verification Engineer

    • map_icon חיפה
    Intel

    Intel

  • רשימת משאלות

    Formal Verification Engineer

    • map_icon תל אביב - יפו
    NVIDIA

    NVIDIA

  • רשימת משאלות

    Principal Formal Verification Engineer

    • map_icon תל אביב - יפו
    NVIDIA

    NVIDIA

  • רשימת משאלות

    Senior Formal Verification Engineer

    • map_icon תל אביב - יפו
    NVIDIA

    NVIDIA

ניתן לצפות במשרות שסימנת בכל שלב תחת התפריט הראשי בקטגוריית 'משרות שאהבתי'

המקום קרן עזריאלי טקסט בעברית עם סמל אינסוף
  • מי אנחנו
  • מעסיקים מובילים
  • צרו קשר
  • תנאי שימוש
  • מדיניות פרטיות
  • הצהרת נגישות

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

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

עוד רגע...

המערכת זיהתה ששינית את הנתונים באזור האישי ומעדכנת את ההמלצות על תפקידים ומשרות בהתאם.

מצטערים, לא הצלחנו לנתח בהצלחה את הנתונים שהזנת.
אתם מוזמנים לנסות להזין שוב או להעלות קובץ קורות חיים במידה ויש לכם.
בהצלחה

הגעת להגבלה היומית של שלושה עדכונים בפרופיל האישי ביום

loader

הבקשה שלך נשלחה בהצלחה!

יש באפשרותך לשלוח בקשה לקבלת ייעוץ אישי ללא עלות מיועצת קריירה.

באפשרותך לשלוח בקשה לקבלת ייעוץ אישי ללא עלות

  • בעיה טכנית

  • סיוע בכתיבת קורות חיים או בהכנה לראיון עבודה

  • התאמה של משרות

  • אחר:

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