
Sünteesi- või formaalse verifitseerimise arendaja — YosysHQ, kaugtöö Austriast
YosysHQ1 – 10 Töötajad
RiistvaraLiitu YosysHQ avatud lähtekoodiga EDA-arendajana, et töötada sünteesi- või formaalse verifitseerimise tööriistadega. Roll hõlmab iseseisvat arendust C++, Rusti ja Pythoni abil riistvara disaini ning verifitseerimise projektides.
Ava