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

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

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

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

Software Formal Verification Engineer

NVIDIA AI

NVIDIA AI NVIDIA AI

  • תל אביב - יפו
  • LinkedIn
LinkedIn

Software Formal Verification Engineer

NVIDIA AI

NVIDIA AI NVIDIA AI

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


Job Requisition ID

JR2015267

Job Category

Engineering

Time Type

Full time

We are looking for a Software Engineer or Computer Scientist for our NVIDIA Software Formal Verification team! This is an exciting opportunity to join a unique team dealing with cutting-edge Formal Verification technology for both software and hardware. Supporting NVIDIA Switch, NIC, and GPU technologies, we research and use state-of-the-art formal verification tools and methodologies to mathematically prove the correctness of both software and hardware. You will be joining a growing team, using both in-house and third-party technologies that keep developing, and assist in defining new methodologies. As part of this team, you'll enjoy a versatile work environment that is educational, dynamic, and ambitious.

What You'll Be Doing

  • In this position, you will use formal verification tools and methods to mathematically prove the correctness of complicated logic problems
  • Help develop our Software Formal Verification methodologies and tools
  • You will work on ambitious designs along with our Firmware and Software teams and take part in developing the next generation of NVIDIA's core technology

What We Need To See

  • BSc in Computer Engineering/Computer Science/Mathematics or equivalent
  • 4+ years of experience in Software
  • Excellent analytical, logical reasoning, and problem-solving skills
  • Strong communication and interpersonal skills
  • Fluent in English

Ways To Stand Out From The Crowd

  • Background in architecture simulators
  • Experience in firmware / embedded systems
  • Experience in Formal Verification in software
  • Hands-on experience applying AI in a professional environment

NVIDIA has some of the most forward-thinking and hardworking people in the world working for us. Are you a creative engineer who loves challenges? Come join our team and help us build the future HPC, data centers, and GPUs


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

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

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

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

לתפקיד זה ב-NVIDIA AI, נדרש תואר ראשון בהנדסת מחשבים, מדעי המחשב, מתמטיקה או תחום מקביל, יחד עם 4+ שנות ניסיון בפיתוח תוכנה. כמו כן, נדרשים כישורים אנליטיים מצוינים, יכולות חשיבה לוגית ופתרון בעיות, וכישורי תקשורת בינאישיים חזקים. ידע באנגלית שוטפת הוא חובה.

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

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

    Senior Formal Verification Engineer

    • map_icon חיפה
    Mobileye

    Mobileye

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

    Formal Verification Engineer

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

    NVIDIA

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

    Formal Verification Engineer

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

    NVIDIA AI

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

    Formal Verification Engineer

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

    NVIDIA

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

    Formal Verification Engineer

    • map_icon רעננה
    NVIDIA

    NVIDIA

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

    Senior Formal Verification Engineer

    • map_icon קיסריה
    AI-Fabrics

    AI-Fabrics

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

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

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

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

עוד רגע...

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

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

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

loader

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

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

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

  • בעיה טכנית

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

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

  • אחר:

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