1 – 10 Zamestnanci
HardvérYosysHQ vyvíja Yosys a súvisiace open-source projekty elektronickej automatizácie návrhu (EDA) pre hardvérové inžinierstvo. Spoločnosť kombinuje open-source nástroje s komerčnými produktmi a službami, ktoré pomáhajú tímom v oblasti elektroniky zlepšovať pracovné postupy pri návrhu digitálneho hardvéru, čo je relevantné pre odborníkov pôsobiacich v oblasti vývoja hardvéru a EDA.
Vývojár syntézy alebo formálneho overovania — YosysHQ, práca na diaľku z Rakúska
Pridajte sa k YosysHQ ako vývojár open-source EDA nástrojov pre syntézu alebo formálne overovanie. Budete samostatne vyvíjať v jazykoch C++, Rust a Python na projektoch zameraných na návrh a overovanie hardvéru.
Popis
- Podpora práce YosysHQ v oblasti syntézy alebo formálneho overovania
- Vývoj a údržba EDA nástrojov v jazykoch C++, Rust a Python
- Implementácia modelového overovania hardvéru, formálnych metód, syntézy RTL/ASIC alebo súvisiacich pracovných postupov
- Tvorba inžinierskeho a vedeckého softvéru, implementácia algoritmov z odbornej literatúry alebo príspevky ku kompilátorovým projektom
- Spoznávanie rozsiahlej existujúcej open-source kódovej základne a prispievanie do nej
- Samostatné preberanie zodpovednosti za pridelenú prácu a riešenie technických problémov
- Rozvoj systému Yosys a širšieho open-source ekosystému EDA
- Spolupráca na open-source nástrojoch YosysHQ a prípadné prispievanie do nich
Požiadavky
- Znalosť jazyka C++ alebo Rust na účely formálneho overovania a ochota naučiť sa ďalšie jazyky a Python
- Výhodou je skúsenosť s implementáciou modelového overovania hardvéru
- Prípadne skúsenosti s overovaním alebo formálnymi metódami vrátane riešenia SAT/SMT, automatizovaného alebo interaktívneho dokazovania viet, teórie programovacích jazykov alebo teórie automatov
- Základná skúsenosť s návrhom RTL hardvéru pre formálne overovanie
- Znalosť jazyka C++ pre prácu na syntéze
- Základná skúsenosť s návrhom RTL hardvéru, ideálne v oblasti ASIC
- Relevantné skúsenosti môžu zahŕňať vývoj inžinierskeho alebo vedeckého softvéru, implementáciu výskumných algoritmov alebo vývoj kompilátorov
- Skúsenosť s postupným zapojením sa do veľkého existujúceho projektu
- Schopnosť prevziať zodpovednosť za pridelené úlohy a pracovať samostatne s obmedzeným dohľadom
- Nesmiete mať pobyt v krajine, na ktorú sa vzťahujú sankcie alebo vývozné obmedzenia, ani mať zákaz pracovať pre vládu USA
- Prihláška musí obsahovať životopis a krátky motivačný list
Benefity
- Práca na diaľku s flexibilnými podmienkami
- Flexibilný pracovný čas
- Práca na čiastočný úväzok v rozsahu jedného až piatich dní týždenne
- Plochá mzdová štruktúra s rovnakou sadzbou pre všetkých členov tímu
- Práca z miesta podľa vlastného výberu
- Tímové stretnutia sa zvyčajne konajú medzi 15:00 a 18:00 viedenského času, pričom mimo tohto obdobia je čas flexibilný