
Synteesi- tai formaalisen verifioinnin kehittäjä — YosysHQ, etätyö Itävallasta
YosysHQ1 – 10 Työntekijät
LaitteistoLiity YosysHQ:n avoimen lähdekoodin EDA-kehittäjäksi työskentelemään synteesi- tai formaalin verifioinnin työkalujen parissa. Tehtävässä kehitetään itsenäisesti C++-, Rust- ja Python-ohjelmistoja laitteistosuunnittelun ja verifioinnin projekteissa.
Avaa