1 – 10 Zaměstnanci
HardwareYosysHQ vyvíjí Yosys a související open-source projekty v oblasti automatizace návrhu elektroniky (EDA) pro hardwarové inženýrství. Společnost kombinuje open-source nástroje s komerčními produkty a službami, které pomáhají týmům v oblasti elektroniky zlepšovat procesy návrhu digitálního hardwaru, a je tak relevantní pro odborníky pracující na vývoji hardwaru a v oblasti EDA.
Vývojář syntézy nebo formální verifikace — YosysHQ, práce na dálku z Rakouska
Připojte se k YosysHQ jako vývojář open-source EDA nástrojů pro syntézu nebo formální verifikaci. Pozice zahrnuje samostatný vývoj v C++, Rustu a Pythonu na projektech zaměřených na návrh a verifikaci hardwaru.
Popis
- Podporovat práci YosysHQ v oblasti syntézy nebo formální verifikace
- Vyvíjet a udržovat EDA nástroje v C++, Rustu a Pythonu
- Implementovat kontrolu hardwarových modelů, formální metody, RTL/ASIC syntézu nebo související pracovní postupy
- Vytvářet inženýrský a vědecký software, implementovat algoritmy z odborné literatury nebo přispívat k projektům kompilátorů
- Seznámit se s rozsáhlou existující open-source kódovou základnou a přispívat do ní
- Samostatně zodpovídat za svěřenou práci a řešit technické problémy
- Rozvíjet Yosys a širší open-source EDA ekosystém
- Spolupracovat s open-source nástroji YosysHQ a podle možností do nich přispívat
Požadavky
- Pokročilá znalost C++ nebo Rustu pro formální verifikaci a ochota naučit se další jazyky a Python
- Výhodou je znalost implementace kontroly hardwarových modelů
- Alternativně zkušenosti s verifikací nebo formálními metodami včetně řešení SAT/SMT, automatického či interaktivního dokazování teorémů, teorie programovacích jazyků nebo teorie automatů
- Určitá zkušenost s návrhem RTL hardwaru pro formální verifikaci
- Pokročilá znalost C++ pro práci na syntéze
- Určitá zkušenost s návrhem RTL hardwaru, ideálně v oblasti ASIC
- Relevantní může být zkušenost s vývojem inženýrského nebo vědeckého softwaru, implementací výzkumných algoritmů nebo vývojem kompilátorů
- Zkušenost s proniknutím do velkého existujícího projektu
- Schopnost samostatně převzít odpovědnost za svěřené úkoly a pracovat s omezeným dohledem
- Není možné bydlet v zemi podléhající sankcím nebo vývozním omezením ani mít zákaz práce pro vládu USA
- Přihláška musí obsahovat životopis a krátký motivační dopis
Benefity
- Práce na dálku s flexibilními podmínkami
- Flexibilní pracovní doba
- Práce na částečný úvazek v rozsahu jednoho až pěti dnů týdně
- Jednotná odměna ve stejné sazbě pro všechny členy týmu
- Práce z vámi zvoleného místa
- Týmové schůzky se obvykle konají mezi 15:00 a 18:00 vídeňského času, mimo tento časový interval je možná flexibilita