YosysHQ
YosysHQ
1 – 10 עובדים
חומרה
YosysHQ מפתחת את Yosys ופרויקטים נוספים בקוד פתוח לאוטומציית תכנון אלקטרוני (EDA) עבור הנדסת חומרה. החברה משלבת כלים בקוד פתוח עם מוצרים ושירותים מסחריים, המסייעים לצוותי אלקטרוניקה לשפר את תהליכי העבודה בתכנון חומרה דיגיטלית, ולכן היא רלוונטית לאנשי מקצוע העוסקים במגוון תחומים של פיתוח חומרה ו-EDA.

מפתח סינתזה או אימות פורמלי — YosysHQ, עבודה מרחוק מאוסטריה

הצטרפו ל-YosysHQ כמפתחי EDA בקוד פתוח, בעבודה על כלי סינתזה או אימות פורמלי. התפקיד כולל פיתוח עצמאי ב-C++, ב-Rust וב-Python בפרויקטים של תכנון ואימות חומרה.

תיאור

  • תמיכה בעבודת הסינתזה או האימות הפורמלי של YosysHQ
  • פיתוח ותחזוקה של כלי EDA ב-C++, ב-Rust וב-Python
  • יישום בדיקת מודלים של חומרה, שיטות פורמליות, סינתזת RTL/ASIC או תהליכי עבודה קשורים
  • יצירת תוכנה הנדסית ומדעית, יישום אלגוריתמים מהספרות המחקרית או תרומה לפרויקטים של מהדרים
  • למידה ותרומה לבסיס קוד משמעותי בקוד פתוח
  • אחריות על משימות שהוקצו ופתרון אתגרים טכניים באופן עצמאי
  • קידום Yosys ואת כלל האקוסיסטם של EDA בקוד פתוח
  • השתתפות בכלי הקוד הפתוח של YosysHQ ותרומה להם לפי האפשרות

דרישות

  • שליטה ב-C++ או ב-Rust לצורך אימות פורמלי, ונכונות ללמוד את השפות האחרות ואת Python
  • היכרות עם יישום בדיקת מודלים של חומרה היא יתרון
  • לחלופין, ניסיון באימות או בשיטות פורמליות, כולל פתרון SAT/SMT, הוכחת משפטים אוטומטית או אינטראקטיבית, תורת שפות תכנות או תורת האוטומטים
  • היכרות מסוימת עם תכנון חומרת RTL לצורך אימות פורמלי
  • שליטה ב-C++ לעבודה בתחום הסינתזה
  • ניסיון מסוים בתכנון חומרת RTL, רצוי עם ASICs
  • ניסיון רלוונטי עשוי לכלול תוכנה הנדסית או מדעית, יישום אלגוריתמי מחקר או פיתוח מהדרים
  • ניסיון בהשתלבות בפרויקט קיים וגדול
  • יכולת לקחת אחריות על משימות שהוקצו ולעבוד באופן עצמאי תחת פיקוח מוגבל
  • אין להתגורר במדינה הכפופה לסנקציות או להגבלות יצוא, או להיות מנועים מעבודה עבור ממשלת ארצות הברית
  • הגשת מועמדות דורשת קורות חיים ומכתב נלווה קצר

הטבות

  • עבודה מרחוק עם הסדרים גמישים
  • שעות עבודה גמישות
  • אפשרות לעבודה במשרה חלקית של יום עד חמישה ימים בשבוע
  • מבנה שכר אחיד עם אותו תעריף לכל חברי הצוות
  • עבודה מהמיקום שבחרתם
  • ישיבות הצוות מתקיימות בדרך כלל בין 15:00 ל-18:00 לפי שעון וינה, עם גמישות מחוץ לטווח הזה

משרות קשורות

A&O IT Group

ארכיטקט/ית פתרונות מסחריים, הודו (עבודה מרחוק)

A&O IT Group

הובלת הצעות מורכבות, תמחור, תיאום ספקים ותמיכה חוזית בשירותי ה-IT המנוהלים ואבטחת הסייבר הגלובליים של A&O IT Group. שיתוף פעולה עם צוותי המכירות והתפעול לגיבוש פתרונות כדאיים מסחרית ולקידום הזדמנויות מהפנייה הראשונית ועד לחתימת החוזה.

פתח
Red Hat

ארכיטקט ענן, בינה מלאכותית ו-OpenShift — Red Hat

Red Hat

תכננו וספקו פתרונות ענן, OpenShift, בינה מלאכותית ו-MLOps של Red Hat ללקוחות בריאד. הובילו סדנאות ארכיטקטורה, פריסות ושיטות ייעוץ התומכות באספקה אמינה וניתנת להרחבה.

פתח
CrowdStrike

מהנדס בכיר לממשקי API בליבת הענן

CrowdStrike

פיתוח ממשקי API לשירותי backend ומערכות ענן מבוזרות עבור פלטפורמת אבטחת הסייבר של CrowdStrike. סיוע בזיהוי מתקפות ממוקדות ובאוטומציה של מודיעין איומי סייבר בקנה מידה עולמי.

פתח
Avanade

מהנדס ענן דרג שני, שירותים מנוהלים

Avanade

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

פתח
Adfinis

מהנדס מערכות ענן־מקורי בכיר

Adfinis

תפקיד הנדסת מערכות בכיר ב-Adfinis, ספקית שירותי IT בקוד פתוח, המתמקד בתשתיות ענן־מקוריות. הובלת פרויקטים ללקוחות באמצעות Kubernetes, אוטומציה ו-CI/CD.

פתח
Chainlink Labs

מהנדס/ת בכיר/ה לאמינות אתרים, תשתיות נתונים

Chainlink Labs

הובלת אמינות של פלטפורמות הסטרימינג, Kubernetes והנתונים של Chainlink Labs, התומכות בשירותי אורקל לבלוקצ'יין. שיפור הזמינות, יכולת ההתרחבות, האוטומציה ויעילות התפעול.

פתח
Chainlink Labs

מהנדס אמינות אתרים, קישוריות בלוקצ׳יין

Chainlink Labs

תפעול Kubernetes, ענן, Go ותשתיות בלוקצ׳יין לתמיכה בפלטפורמת האורקלים המבוזרת של Chainlink. שיפור האמינות של שירותי הייצור והמערכות.

פתח
HFM

ארכיטקט/ית בכיר/ה לתשתיות פלטפורמות מסחר ב-HFM

HFM
501 – 1,000 עובדים
פינטקפיננסים

עצבו את תשתיות MT4 ו-MT5 של HFM, מהארכיטקטורה ואירוח ב-AWS ועד לחוסן ולתהליכי שחרור גרסאות. הובילו את מודרניזציית הפלטפורמות, כולל אימוץ Kubernetes, והנחו את צוות ניהול הפלטפורמות.

פתח
HFM

ארכיטקט ענן ארגוני בכיר (AWS)

HFM
501 – 1,000 עובדים
פינטקפיננסים

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

פתח
Namespace

מהנדס DevOps בכיר, עבודה היברידית בניו יורק

Namespace
11 – 50 עובדים
B2BSaaSחומרה

תפעול תשתיות מחשוב, אחסון ורשת עבור פלטפורמת המפתחים של Namespace Labs. שיפור האמינות, הביצועים, יכולת ההתרחבות ויעילות העלויות של תהליכי הבנייה ללקוחות.

פתח