1 – 10 Pekerja
PerkakasanYosysHQ membangunkan Yosys dan projek automasi reka bentuk elektronik (EDA) sumber terbuka yang berkaitan untuk kejuruteraan perkakasan. Syarikat ini menggabungkan peralatan sumber terbuka dengan produk dan perkhidmatan komersial yang membantu pasukan elektronik menambah baik aliran kerja reka bentuk perkakasan digital, menjadikannya relevan kepada para profesional dalam pembangunan perkakasan dan EDA.
Pembangun Sintesis atau Pengesahan Formal — YosysHQ, Kerja Jarak Jauh dari Austria
Sertai YosysHQ sebagai pembangun EDA sumber terbuka yang mengusahakan alat sintesis atau pengesahan formal. Peranan ini melibatkan pembangunan kendiri dalam C++, Rust dan Python merentas projek reka bentuk serta pengesahan perkakasan.
Penerangan
- Menyokong kerja sintesis atau pengesahan formal YosysHQ
- Membangunkan dan menyelenggara alat EDA dalam C++, Rust dan Python
- Melaksanakan pemeriksaan model perkakasan, kaedah formal, sintesis RTL/ASIC atau aliran kerja berkaitan
- Mencipta perisian kejuruteraan dan saintifik, melaksanakan algoritma daripada literatur penyelidikan atau menyumbang kepada projek pengkompil
- Mempelajari dan menyumbang kepada pangkalan kod sumber terbuka yang besar
- Memiliki tugasan yang diberikan dan menyelesaikan cabaran teknikal secara kendiri
- Memajukan Yosys dan ekosistem EDA sumber terbuka yang lebih luas
- Berinteraksi dengan dan berpotensi menyumbang kepada peralatan sumber terbuka YosysHQ
Keperluan
- Mahir dalam C++ atau Rust untuk pengesahan formal, serta bersedia mempelajari bahasa yang satu lagi dan Python
- Pengetahuan tentang pelaksanaan pemeriksaan model perkakasan adalah kelebihan
- Sebagai alternatif, pengalaman dalam pengesahan atau kaedah formal, termasuk penyelesaian SAT/SMT, pembuktian teorem automatik atau interaktif, teori bahasa pengaturcaraan atau teori automata
- Mempunyai pendedahan kepada reka bentuk perkakasan RTL untuk pengesahan formal
- Mahir dalam C++ untuk kerja sintesis
- Mempunyai pengalaman dalam reka bentuk perkakasan RTL, sebaik-baiknya yang melibatkan ASIC
- Pengalaman berkaitan boleh merangkumi perisian kejuruteraan atau saintifik, pelaksanaan algoritma penyelidikan atau pembangunan pengkompil
- Berpengalaman memahami dan menyumbang kepada projek sedia ada yang besar
- Mampu mengurus tanggungjawab yang diberikan dan bekerja secara kendiri dengan penyeliaan terhad
- Tidak boleh menetap di negara yang tertakluk kepada sekatan atau kawalan eksport, atau dilarang bekerja untuk kerajaan Amerika Syarikat
- Permohonan mesti menyertakan CV dan surat iringan ringkas
Faedah
- Kerja jarak jauh dengan pengaturan yang fleksibel
- Waktu kerja fleksibel
- Jadual sambilan dari satu hingga lima hari seminggu
- Struktur bayaran rata dengan kadar yang sama untuk semua ahli pasukan
- Bekerja dari lokasi pilihan anda
- Mesyuarat pasukan biasanya berlangsung antara pukul 3 petang hingga 6 petang waktu Vienna, dengan fleksibiliti di luar tempoh tersebut