1 – 10 Medewerkers
HardwareYosysHQ ontwikkelt Yosys en andere opensourceprojecten voor electronic design automation (EDA) in de hardware-engineering. Het bedrijf combineert opensourcetools met commerciële producten en diensten die elektronicateams helpen hun workflows voor het ontwerpen van digitale hardware te verbeteren. Daarmee is YosysHQ relevant voor professionals die werken aan hardwareontwikkeling en EDA.
Ontwikkelaar synthese of formele verificatie — YosysHQ, op afstand in Oostenrijk
Ga aan de slag als open-source-EDA-ontwikkelaar bij YosysHQ en werk aan tools voor synthese of formele verificatie. De functie omvat zelfstandig ontwikkelen in C++, Rust en Python voor projecten rond hardwareontwerp en verificatie.
Beschrijving
- Ondersteunen van het synthese- of verificatiewerk van YosysHQ
- EDA-tools ontwikkelen en onderhouden in C++, Rust en Python
- Hardwaremodelchecking, formele methoden, RTL-/ASIC-synthese of gerelateerde workflows implementeren
- Technische en wetenschappelijke software maken, algoritmen uit onderzoeksliteratuur implementeren of bijdragen aan compilerprojecten
- Je inwerken in een omvangrijke bestaande open-sourcecodebase en eraan bijdragen
- Verantwoordelijkheid nemen voor toegewezen werk en technische uitdagingen zelfstandig oplossen
- Yosys en het bredere open-source-EDA-ecosysteem verder ontwikkelen
- Meewerken aan en mogelijk bijdragen aan de open-sourcetools van YosysHQ
Vereisten
- Vaardigheid in C++ of Rust voor formele verificatie, met de bereidheid om de andere talen en Python te leren
- Ervaring met het implementeren van hardwaremodelchecking is een pré
- Of ervaring met verificatie of formele methoden, waaronder SAT-/SMT-solving, geautomatiseerd of interactief theorem proving, programmeertaaltheorie of automatentheorie
- Enige ervaring met RTL-hardwareontwerp voor formele verificatie
- Vaardigheid in C++ voor synthese
- Enige ervaring met RTL-hardwareontwerp, bij voorkeur met ASICs
- Relevante ervaring kan bestaan uit technische of wetenschappelijke software, het implementeren van onderzoeksalgoritmen of compilerontwikkeling
- Ervaring met het jezelf eigen maken van een groot bestaand project
- In staat zijn om verantwoordelijkheid voor toegewezen werk te nemen en zelfstandig te werken met beperkte begeleiding
- Je mag niet wonen in een land waarvoor sancties of exportbeperkingen gelden en je mag niet uitgesloten zijn van werkzaamheden voor de Amerikaanse overheid
- Een sollicitatie vereist een cv en een korte motivatiebrief
Voordelen
- Op afstand werken met flexibele werkafspraken
- Flexibele werktijden
- Parttime werken van één tot vijf dagen per week
- Een vlakke beloningsstructuur met hetzelfde tarief voor alle teamleden
- Werken vanaf een zelfgekozen locatie
- Teamvergaderingen vinden doorgaans plaats tussen 15:00 en 18:00 uur Weense tijd, met flexibiliteit buiten dat tijdsvenster