1 – 10 Çalışanlar
DonanımYosysHQ, donanım mühendisliğine yönelik Yosys ve ilgili açık kaynaklı elektronik tasarım otomasyonu (EDA) projeleri geliştirir. Şirket, elektronik ekiplerinin dijital donanım tasarım süreçlerini iyileştirmesine yardımcı olan açık kaynak araçlarını ticari ürün ve hizmetlerle birleştirir; bu yönüyle donanım geliştirme ve EDA alanlarında çalışan profesyoneller için önem taşır.
Sentez veya Biçimsel Doğrulama Geliştiricisi — YosysHQ, Avusturya Uzaktan
YosysHQ ekibine katılarak sentez veya biçimsel doğrulama araçları üzerinde çalışan açık kaynaklı bir EDA geliştiricisi olun. Rol, donanım tasarımı ve doğrulama projelerinde C++, Rust ve Python ile bağımsız geliştirme yapmayı içerir.
Açıklama
- YosysHQ'nun sentez veya biçimsel doğrulama çalışmalarını desteklemek
- C++, Rust ve Python ile EDA araçları geliştirmek ve sürdürmek
- Donanım model denetimi, biçimsel yöntemler, RTL/ASIC sentezi veya ilgili iş akışlarını uygulamak
- Mühendislik ve bilimsel yazılımlar oluşturmak, araştırma literatüründeki algoritmaları uygulamak veya derleyici projelerine katkıda bulunmak
- Kapsamlı bir mevcut açık kaynak kod tabanını öğrenmek ve bu tabana katkıda bulunmak
- Üstlenilen işleri sahiplenmek ve teknik sorunları bağımsız olarak çözmek
- Yosys'u ve daha geniş açık kaynaklı EDA ekosistemini ilerletmek
- YosysHQ'nun açık kaynaklı araçlarıyla ilgilenmek ve gerektiğinde bunlara katkıda bulunmak
Gereksinimler
- Biçimsel doğrulama için C++ veya Rust bilgisi; diğer dili ve Python'ı öğrenmeye istekli olmak
- Donanım model denetimi uygulama deneyimi tercih edilir
- Alternatif olarak SAT/SMT çözümü, otomatik veya etkileşimli teorem ispatı, programlama dili kuramı ya da otomat kuramı dahil doğrulama veya biçimsel yöntemler deneyimi
- Biçimsel doğrulama için RTL donanım tasarımına dair temel deneyim
- Sentez çalışmaları için C++ bilgisi
- Tercihen ASIC'leri içeren RTL donanım tasarımı deneyimi
- İlgili deneyim; mühendislik veya bilimsel yazılım geliştirme, araştırma algoritmalarını uygulama ya da derleyici geliştirme çalışmalarını içerebilir
- Büyük ve mevcut bir projeye dahil olma deneyimi
- Üstlenilen sorumlulukları sahiplenme ve sınırlı gözetimle bağımsız çalışabilme
- Yaptırımlara veya ihracat kısıtlamalarına tabi bir ülkede ikamet etmemek ya da ABD hükûmeti için çalışması yasaklanmış olmamak
- Başvuru için özgeçmiş ve kısa bir ön yazı gerekir
Yan Haklar
- Esnek düzenlemelerle uzaktan çalışma
- Esnek çalışma saatleri
- Haftada bir ila beş gün arasında yarı zamanlı çalışma düzeni
- Tüm ekip üyeleri için aynı ücretin uygulandığı sabit ücret yapısı
- Seçtiğiniz konumdan çalışma
- Ekip toplantıları genellikle Viyana saatine göre 15.00 ile 18.00 arasında yapılır; bu zaman aralığının dışında esneklik vardır