
Pengembang Sintesis atau Verifikasi Formal — YosysHQ, Kerja Jarak Jauh dari Austria
YosysHQBergabunglah 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.

















