1 – 10 Darbinieki
AparatūraYosysHQ izstrādā Yosys un saistītus atvērtā pirmkoda elektroniskās projektēšanas automatizācijas (EDA) projektus aparatūras izstrādei. Uzņēmums apvieno atvērtā pirmkoda rīkus ar komerciāliem produktiem un pakalpojumiem, kas palīdz elektronikas komandām uzlabot digitālās aparatūras projektēšanas darba procesus. Tādēļ tas ir nozīmīgs profesionāļiem, kuri strādā aparatūras izstrādes un EDA jomā.
Sintēzes vai formālās verifikācijas izstrādātājs — YosysHQ, attālināts darbs Austrijā
Pievienojieties YosysHQ kā atvērtā pirmkoda EDA izstrādātājs un strādājiet pie sintēzes vai formālās verifikācijas rīkiem. Šis amats ietver patstāvīgu izstrādi C++, Rust un Python valodā aparatūras projektēšanas un verifikācijas projektos.
Apraksts
- Atbalstiet YosysHQ sintēzes vai formālās verifikācijas darbu
- Izstrādājiet un uzturiet EDA rīkus C++, Rust un Python valodā
- Īstenojiet aparatūras modeļu pārbaudi, formālās metodes, RTL/ASIC sintēzi vai saistītās darbplūsmas
- Veidojiet inženierijas un zinātnisko programmatūru, īstenojiet pētnieciskajā literatūrā aprakstītus algoritmus vai piedalieties kompilatoru projektos
- Apgūstiet un papildiniet apjomīgu esošo atvērtā pirmkoda koda bāzi
- Uzņemieties atbildību par uzticēto darbu un patstāvīgi risiniet tehniskus izaicinājumus
- Veiciniet Yosys un plašākas atvērtā pirmkoda EDA ekosistēmas attīstību
- Iesaistieties YosysHQ atvērtā pirmkoda rīku izstrādē un, iespējams, sniedziet tajā savu ieguldījumu
Prasības
- C++ vai Rust prasmes formālās verifikācijas jomā un gatavība apgūt pārējās valodas un Python
- Vēlama pieredze aparatūras modeļu pārbaudes īstenošanā
- Alternatīvi — pieredze verifikācijā vai formālajās metodēs, tostarp SAT/SMT risināšanā, automātiskā vai interaktīvā teorēmu pierādīšanā, programmēšanas valodu teorijā vai automātu teorijā
- Neliela pieredze RTL aparatūras projektēšanā formālai verifikācijai
- C++ prasmes sintēzes darbam
- Neliela RTL aparatūras projektēšanas pieredze, vēlams darbā ar ASIC
- Atbilstoša pieredze var ietvert inženierijas vai zinātnisko programmatūru, pētniecisko algoritmu īstenošanu vai kompilatoru izstrādi
- Pieredze, apgūstot un uzsākot darbu lielā esošā projektā
- Spēja uzņemties uzticētos pienākumus un strādāt patstāvīgi ar ierobežotu uzraudzību
- Jūs nedrīkstat dzīvot valstī, uz kuru attiecas sankcijas vai eksporta ierobežojumi, vai arī jums nedrīkst būt aizliegts strādāt ASV valdības labā
- Pieteikumam jāpievieno CV un īsa motivācijas vēstule
Priekšrocības
- Attālināts darbs ar elastīgiem nosacījumiem
- Elastīgs darba laiks
- Nepilna laika darbs no vienas līdz piecām dienām nedēļā
- Vienota atalgojuma struktūra ar vienādu likmi visiem komandas locekļiem
- Strādājiet no paša izvēlētas vietas
- Komandas sanāksmes parasti notiek no plkst. 15.00 līdz 18.00 pēc Vīnes laika, ar elastību ārpus šī laika