1 – 10 Anställda
HårdvaraYosysHQ utvecklar Yosys och andra open source-projekt inom elektronisk designautomation (EDA) för hårdvaruutveckling. Företaget kombinerar verktyg med öppen källkod med kommersiella produkter och tjänster som hjälper elektronikteam att förbättra arbetsflödena för digital hårdvarudesign, vilket gör företaget relevant för yrkesverksamma inom hårdvaruutveckling och EDA.
Utvecklare inom syntes eller formell verifiering – YosysHQ, distansarbete i Österrike
Bli en del av YosysHQ som utvecklare av EDA-verktyg med öppen källkod inom syntes eller formell verifiering. Rollen omfattar självständig utveckling i C++, Rust och Python inom projekt för hårdvarudesign och verifiering.
Beskrivning
- Stöd YosysHQ:s arbete med syntes eller formell verifiering
- Utveckla och underhåll EDA-verktyg i C++, Rust och Python
- Implementera hårdvarumodellkontroll, formella metoder, RTL/ASIC-syntes eller relaterade arbetsflöden
- Skapa teknisk och vetenskaplig programvara, implementera algoritmer från forskningslitteratur eller bidra till kompilatorprojekt
- Lär dig och bidra till en omfattande befintlig kodbas med öppen källkod
- Ansvara för tilldelat arbete och lösa tekniska utmaningar självständigt
- Främja Yosys och det bredare EDA-ekosystemet med öppen källkod
- Samarbeta med och eventuellt bidra till YosysHQ:s verktyg med öppen källkod
Krav
- Goda kunskaper i C++ eller Rust för formell verifiering, samt vilja att lära sig de andra språken och Python
- Erfarenhet av att implementera hårdvarumodellkontroll är meriterande
- Alternativt erfarenhet av verifiering eller formella metoder, inklusive SAT/SMT-lösning, automatiserad eller interaktiv teorembevisning, programmeringsspråksteori eller automatteori
- Viss erfarenhet av RTL-hårdvarudesign för formell verifiering
- Goda kunskaper i C++ för syntesarbete
- Viss erfarenhet av RTL-hårdvarudesign, helst med ASIC:er
- Relevant erfarenhet kan omfatta teknisk eller vetenskaplig programvara, implementering av forskningsalgoritmer eller kompilatorutveckling
- Erfarenhet av att sätta sig in i ett stort befintligt projekt
- Förmåga att ansvara för tilldelade uppgifter och arbeta självständigt med begränsad handledning
- Får inte vara bosatt i ett land som omfattas av sanktioner eller exportrestriktioner eller vara förhindrad från att arbeta för USA:s regering
- Ansökan måste innehålla CV och ett kort personligt brev
Förmåner
- Distansarbete med flexibla upplägg
- Flexibla arbetstider
- Deltidsarbete från en till fem dagar per vecka
- Platt lönestruktur med samma ersättningsnivå för alla teammedlemmar
- Arbeta från valfri plats
- Teamets möten äger vanligtvis rum mellan kl. 15 och 18 Wiens tid, med flexibilitet utanför det tidsintervallet