1 – 10 Töötajad
RiistvaraYosysHQ arendab Yosyst ja sellega seotud avatud lähtekoodiga elektroonika projekteerimise automatiseerimise (EDA) projekte riistvaraehituse jaoks. Ettevõte ühendab avatud lähtekoodiga tööriistad kommertstoodete ja -teenustega, mis aitavad elektroonikameeskondadel täiustada digitaalse riistvara projekteerimise töövooge. Seetõttu on see asjakohane riistvaraarenduse ja EDA valdkonnas töötavatele spetsialistidele.
Sünteesi- või formaalse verifitseerimise arendaja — YosysHQ, kaugtöö Austriast
Liitu 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.
Kirjeldus
- Toeta YosysHQ sünteesi- või formaalse verifitseerimise tööd
- Arenda ja hoolda C++, Rusti ja Pythoni abil EDA-tööriistu
- Rakenda riistvara mudelikontrolli, formaalseid meetodeid, RTL/ASIC-sünteesi või seotud töövooge
- Loo inseneri- ja teadustarkvara, rakenda teaduskirjanduses kirjeldatud algoritme või panusta kompilaatoriprojektidesse
- Õpi tundma mahukat olemasolevat avatud lähtekoodiga koodibaasi ja panusta selle arendamisse
- Võta määratud töö eest vastutus ja lahenda tehnilisi probleeme iseseisvalt
- Edenda Yosysi ja laiemat avatud lähtekoodiga EDA-ökosüsteemi
- Osale YosysHQ avatud lähtekoodiga tööriistade arendamises ja võimaluse korral panusta ka nende täiustamisse
Nõuded
- C++-i või Rusti oskus formaalseks verifitseerimiseks ning valmisolek õppida teisi keeli ja Pythonit
- Riistvara mudelikontrolli rakendamise tundmine tuleb kasuks
- Teise võimalusena kogemus verifitseerimise või formaalsete meetoditega, sealhulgas SAT/SMT-lahendamise, automaatse või interaktiivse teoreemitõestuse, programmeerimiskeelte teooria või automaatide teooriaga
- Mõningane kokkupuude RTL-riistvara disainiga formaalseks verifitseerimiseks
- C++-i oskus sünteesitööks
- Mõningane RTL-riistvara disaini kogemus, eelistatavalt ASIC-idega
- Asjakohane kogemus võib hõlmata inseneri- või teadustarkvara, uurimisalgoritmide rakendamist või kompilaatorite arendamist
- Kogemus suure olemasoleva projektiga tutvumisel ja selles tööle asumisel
- Võime võtta määratud vastutus enda kanda ja töötada iseseisvalt vähese juhendamisega
- Te ei tohi elada riigis, mille suhtes kehtivad sanktsioonid või ekspordipiirangud, ega tohi olla keelatud töötamast USA valitsuse heaks
- Kandideerimiseks on vaja CV-d ja lühikest kaaskirja
Hüved
- Kaugtöö paindlike töökorraldustega
- Paindlik tööaeg
- Osaline tööaeg ühest kuni viie päevani nädalas
- Ühtne tasustamismudel, mille kohaselt on kõigil meeskonnaliikmetel sama tasu
- Tööta enda valitud asukohast
- Meeskonna koosolekud toimuvad üldjuhul Viini aja järgi kell 15–18, väljaspool seda ajavahemikku on töökorraldus paindlik