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