1 – 10 Medarbejdere
HardwareYosysHQ udvikler Yosys og relaterede open source-projekter inden for elektronisk designautomatisering (EDA) til hardwareudvikling. Virksomheden kombinerer open source-værktøjer med kommercielle produkter og tjenester, der hjælper elektronikteams med at forbedre arbejdsgange inden for digital hardwaredesign, hvilket gør virksomheden relevant for fagfolk, der arbejder med hardwareudvikling og EDA.
Udvikler inden for syntese eller formel verifikation – YosysHQ, fjernarbejde i Østrig
Bliv en del af YosysHQ som open source-udvikler af EDA-værktøjer inden for syntese eller formel verifikation. Rollen omfatter selvstændig udvikling i C++, Rust og Python på tværs af projekter inden for hardwaredesign og verifikation.
Beskrivelse
- Understøt YosysHQ's arbejde med syntese eller formel verifikation
- Udvikl og vedligehold EDA-værktøjer i C++, Rust og Python
- Implementer hardwaremodelkontrol, formelle metoder, RTL/ASIC-syntese eller relaterede arbejdsgange
- Skab teknisk og videnskabelig software, implementer algoritmer fra forskningslitteratur eller bidrag til compilerprojekter
- Lær og bidrag til en omfattende eksisterende open source-kodebase
- Tag ansvar for tildelt arbejde, og løs tekniske udfordringer selvstændigt
- Frem udviklingen af Yosys og det bredere open source-EDA-økosystem
- Samarbejd med og bidrag potentielt til YosysHQ's open source-værktøjer
Krav
- Gode færdigheder i C++ eller Rust til formel verifikation samt villighed til at lære de andre sprog og Python
- Kendskab til implementering af hardwaremodelkontrol foretrækkes
- Alternativt erfaring med verifikation eller formelle metoder, herunder SAT/SMT-løsning, automatisk eller interaktiv teorembevisning, programmeringssprogsteori eller automatteori
- Nogen erfaring med RTL-hardwaredesign til formel verifikation
- Gode færdigheder i C++ til syntesearbejde
- Nogen erfaring med RTL-hardwaredesign, helst med ASIC'er
- Relevant erfaring kan omfatte teknisk eller videnskabelig software, implementering af forskningsalgoritmer eller compilerudvikling
- Erfaring med at sætte sig ind i et stort eksisterende projekt
- Evne til at tage ansvar for tildelte opgaver og arbejde selvstændigt med begrænset supervision
- Må ikke være bosat i et land, der er underlagt sanktioner eller eksportrestriktioner, eller være udelukket fra at arbejde for den amerikanske regering
- Ansøgningen skal indeholde et CV og en kort ansøgning
Fordele
- Fjernarbejde med fleksible ordninger
- Fleksible arbejdstider
- Deltidsarbejde fra en til fem dage om ugen
- Flad lønstruktur med samme sats for alle teammedlemmer
- Arbejd fra et sted efter eget valg
- Teamets møder finder normalt sted mellem kl. 15 og 18 Wien-tid, med fleksibilitet uden for dette tidsrum