1 – 10 Karyawan
Perangkat kerasYosysHQ mengembangkan Yosys dan berbagai proyek otomasi desain elektronik (EDA) sumber terbuka terkait untuk rekayasa perangkat keras. Perusahaan ini memadukan perangkat bantu sumber terbuka dengan produk dan layanan komersial yang membantu tim elektronik meningkatkan alur kerja desain perangkat keras digital, sehingga relevan bagi para profesional di bidang pengembangan perangkat keras dan EDA.
Pengembang Sintesis atau Verifikasi Formal — YosysHQ, Kerja Jarak Jauh dari Austria
Bergabunglah dengan YosysHQ sebagai pengembang EDA sumber terbuka yang mengerjakan alat sintesis atau verifikasi formal. Peran ini mencakup pengembangan mandiri dalam C++, Rust, dan Python untuk berbagai proyek desain serta verifikasi perangkat keras.
Deskripsi
- Mendukung pekerjaan sintesis atau verifikasi formal YosysHQ
- Mengembangkan dan memelihara alat EDA dalam C++, Rust, dan Python
- Menerapkan pemeriksaan model perangkat keras, metode formal, sintesis RTL/ASIC, atau alur kerja terkait
- Membuat perangkat lunak rekayasa dan ilmiah, menerapkan algoritme dari literatur penelitian, atau berkontribusi pada proyek kompiler
- Mempelajari dan berkontribusi pada codebase sumber terbuka yang besar
- Memiliki tanggung jawab atas pekerjaan yang ditugaskan dan menyelesaikan tantangan teknis secara mandiri
- Memajukan Yosys dan ekosistem EDA sumber terbuka yang lebih luas
- Berinteraksi dengan dan berpotensi berkontribusi pada perangkat lunak sumber terbuka YosysHQ
Persyaratan
- Menguasai C++ atau Rust untuk verifikasi formal, serta bersedia mempelajari bahasa lainnya dan Python
- Memiliki pengetahuan tentang penerapan pemeriksaan model perangkat keras lebih diutamakan
- Sebagai alternatif, memiliki pengalaman dalam verifikasi atau metode formal, termasuk penyelesaian SAT/SMT, pembuktian teorema otomatis atau interaktif, teori bahasa pemrograman, atau teori automata
- Memiliki pengalaman awal dalam desain perangkat keras RTL untuk verifikasi formal
- Menguasai C++ untuk pekerjaan sintesis
- Memiliki pengalaman dalam desain perangkat keras RTL, idealnya yang melibatkan ASIC
- Pengalaman yang relevan dapat mencakup perangkat lunak rekayasa atau ilmiah, penerapan algoritme penelitian, atau pengembangan kompiler
- Berpengalaman mempelajari dan memahami proyek besar yang sudah ada
- Mampu bertanggung jawab atas tugas yang diberikan dan bekerja mandiri dengan pengawasan terbatas
- Tidak boleh tinggal di negara yang dikenai sanksi atau pembatasan ekspor, atau dilarang bekerja untuk pemerintah Amerika Serikat
- Lamaran harus menyertakan CV dan surat pengantar singkat
Tunjangan
- Kerja jarak jauh dengan pengaturan yang fleksibel
- Jam kerja fleksibel
- Jadwal paruh waktu dari satu hingga lima hari per minggu
- Struktur pembayaran tetap dengan tarif yang sama untuk semua anggota tim
- Bekerja dari lokasi pilihan Anda
- Rapat tim umumnya berlangsung antara pukul 15.00 dan 18.00 waktu Wina, dengan fleksibilitas di luar waktu tersebut