
Pengembang Sintesis atau Verifikasi Formal — YosysHQ, Kerja Jarak Jauh dari Austria
YosysHQ1 – 10 Karyawan
Perangkat kerasBergabunglah 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.
Buka