1 – 10 Ansatte
MaskinvareYosysHQ utvikler Yosys og relaterte open source-prosjekter innen elektronisk designautomatisering (EDA) for maskinvareutvikling. Selskapet kombinerer verktøy med åpen kildekode med kommersielle produkter og tjenester som hjelper elektronikkteam med å forbedre arbeidsflyten for digital maskinvaredesign, noe som gjør selskapet relevant for fagfolk som arbeider med maskinvareutvikling og EDA.
Utvikler innen syntese eller formell verifikasjon – YosysHQ, fjernarbeid i Østerrike
Bli med i YosysHQ som utvikler av EDA-verktøy med åpen kildekode innen syntese eller formell verifikasjon. Rollen innebærer selvstendig utvikling i C++, Rust og Python på tvers av prosjekter innen maskinvaredesign og verifikasjon.
Beskrivelse
- Støtt YosysHQs arbeid med syntese eller formell verifikasjon
- Utvikle og vedlikehold EDA-verktøy i C++, Rust og Python
- Implementer maskinvaremodellkontroll, formelle metoder, RTL/ASIC-syntese eller relaterte arbeidsflyter
- Lag teknisk og vitenskapelig programvare, implementer algoritmer fra forskningslitteratur eller bidra til kompilatorprosjekter
- Lær og bidra til en omfattende eksisterende kodebase med åpen kildekode
- Ta ansvar for tildelt arbeid og løs tekniske utfordringer selvstendig
- Videreutvikle Yosys og det bredere EDA-økosystemet med åpen kildekode
- Samarbeid med og bidra potensielt til YosysHQs verktøy med åpen kildekode
Krav
- Gode ferdigheter i C++ eller Rust for formell verifikasjon, samt vilje til å lære de andre språkene og Python
- Kjennskap til implementering av maskinvaremodellkontroll er en fordel
- Alternativt erfaring med verifikasjon eller formelle metoder, inkludert SAT/SMT-løsning, automatisert eller interaktiv teorembevisføring, programmeringsspråkteori eller automatteori
- Noe erfaring med RTL-maskinvaredesign for formell verifikasjon
- Gode ferdigheter i C++ for syntesearbeid
- Noe erfaring med RTL-maskinvaredesign, helst med ASIC-er
- Relevant erfaring kan omfatte teknisk eller vitenskapelig programvare, implementering av forskningsalgoritmer eller kompilatorutvikling
- Erfaring med å sette seg inn i et stort eksisterende prosjekt
- Evne til å ta ansvar for tildelte oppgaver og arbeide selvstendig med begrenset oppfølging
- Må ikke være bosatt i et land som er underlagt sanksjoner eller eksportrestriksjoner, eller være forhindret fra å arbeide for den amerikanske regjeringen
- Søknaden må inneholde CV og et kort søknadsbrev
Fordeler
- Fjernarbeid med fleksible ordninger
- Fleksibel arbeidstid
- Deltidsarbeid fra én til fem dager per uke
- Flat lønnsstruktur med samme sats for alle teammedlemmer
- Arbeid fra valgfritt sted
- Teamets møter finner vanligvis sted mellom kl. 15 og 18 Wien-tid, med fleksibilitet utenfor dette tidsrommet