1 – 10 Zaposlenici
HardverYosysHQ razvija Yosys i povezane projekte otvorenog koda za automatizaciju elektroničkog dizajna (EDA) u području razvoja hardvera. Tvrtka kombinira alate otvorenog koda s komercijalnim proizvodima i uslugama koje elektroničkim timovima pomažu unaprijediti radne procese dizajna digitalnog hardvera, što je čini relevantnom za stručnjake koji rade na razvoju hardvera i EDA-i.
Programer za sintezu ili formalnu verifikaciju — YosysHQ, rad na daljinu iz Austrije
Pridružite se YosysHQ-u kao open-source EDA programer koji radi na alatima za sintezu ili formalnu verifikaciju. Uloga uključuje samostalan razvoj u jezicima C++, Rust i Python na projektima dizajna i verifikacije hardvera.
Opis
- Podrška radu YosysHQ-a na sintezi ili formalnoj verifikaciji
- Razvoj i održavanje EDA alata u jezicima C++, Rust i Python
- Implementacija modelskog provjeravanja hardvera, formalnih metoda, RTL/ASIC sinteze ili povezanih procesa
- Izrada inženjerskog i znanstvenog softvera, implementacija algoritama iz istraživačke literature ili doprinos projektima kompajlera
- Upoznavanje s opsežnom postojećom open-source bazom koda i doprinos njezinu razvoju
- Preuzimanje odgovornosti za dodijeljeni rad i samostalno rješavanje tehničkih izazova
- Unaprjeđivanje sustava Yosys i šireg open-source EDA ekosustava
- Suradnja na open-source alatima YosysHQ-a i mogući doprinos njihovu razvoju
Zahtjevi
- Napredno znanje C++-a ili Rusta za formalnu verifikaciju, uz spremnost na učenje drugih jezika i Pythona
- Poželjno je iskustvo u implementaciji modelskog provjeravanja hardvera
- Alternativno, iskustvo u verifikaciji ili formalnim metodama, uključujući rješavanje SAT/SMT problema, automatizirano ili interaktivno dokazivanje teorema, teoriju programskih jezika ili teoriju automata
- Osnovno iskustvo s RTL dizajnom hardvera za formalnu verifikaciju
- Napredno znanje C++-a za rad na sintezi
- Osnovno iskustvo s RTL dizajnom hardvera, idealno vezano uz ASIC
- Relevantno iskustvo može uključivati razvoj inženjerskog ili znanstvenog softvera, implementaciju istraživačkih algoritama ili razvoj kompajlera
- Iskustvo u uključivanju u velik postojeći projekt
- Sposobnost preuzimanja odgovornosti za dodijeljene zadatke i samostalan rad uz ograničen nadzor
- Ne smijete prebivati u zemlji koja podliježe sankcijama ili izvoznim ograničenjima niti vam smije biti zabranjen rad za Vladu SAD-a
- Prijava mora sadržavati životopis i kratko motivacijsko pismo
Pogodnosti
- Rad na daljinu uz fleksibilne uvjete
- Fleksibilno radno vrijeme
- Rad na nepuno radno vrijeme od jednog do pet dana tjedno
- Jedinstvena struktura plaće s istom tarifom za sve članove tima
- Rad s lokacije po vlastitom izboru
- Sastanci tima uglavnom se održavaju između 15:00 i 18:00 po bečkom vremenu, uz fleksibilnost izvan tog razdoblja