1 – 10 الموظفون
الأجهزةتطوّر شركة YosysHQ برنامج Yosys ومشاريع أخرى مفتوحة المصدر لأتمتة التصميم الإلكتروني (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
- قد تشمل الخبرة ذات الصلة البرمجيات الهندسية أو العلمية، أو تنفيذ خوارزميات بحثية، أو تطوير المصرّفات
- خبرة في شق طريقك للعمل ضمن مشروع قائم وكبير
- القدرة على تحمّل مسؤولية المهام الموكلة والعمل باستقلالية مع إشراف محدود
- يجب ألا تقيم في دولة خاضعة للعقوبات أو قيود التصدير، أو تكون ممنوعًا من العمل لدى الحكومة الأمريكية
- يتطلب التقديم سيرة ذاتية ورسالة تعريفية موجزة
المزايا
- العمل عن بُعد مع ترتيبات مرنة
- ساعات عمل مرنة
- إمكانية العمل بدوام جزئي من يوم إلى خمسة أيام أسبوعيًا
- هيكل أجور موحّد بالمعدل نفسه لجميع أعضاء الفريق
- العمل من الموقع الذي تختاره
- تُعقد اجتماعات الفريق عادةً بين الساعة 3 و6 مساءً بتوقيت فيينا، مع مرونة خارج هذه الفترة