1 – 10 Zaposleni
Strojna opremaYosysHQ razvija Yosys in sorodne odprtokodne projekte za avtomatizacijo načrtovanja elektronike (EDA) na področju strojne opreme. Podjetje združuje odprtokodna orodja s komercialnimi izdelki in storitvami, ki elektronskim ekipam pomagajo izboljšati delovne tokove pri načrtovanju digitalne strojne opreme, zato je pomembno za strokovnjake, ki delajo na področju razvoja strojne opreme in EDA.
Razvijalec sinteze ali formalnega preverjanja — YosysHQ, delo na daljavo iz Avstrije
Pridružite se podjetju YosysHQ kot razvijalec odprtokodnih EDA-orodij za sintezo ali formalno preverjanje. Delo vključuje samostojen razvoj v jezikih C++, Rust in Python na projektih načrtovanja in preverjanja strojne opreme.
Opis
- Podpora delu podjetja YosysHQ na področju sinteze ali formalnega preverjanja
- Razvoj in vzdrževanje EDA-orodij v jezikih C++, Rust in Python
- Izvajanje preverjanja modelov strojne opreme, formalnih metod, sinteze RTL/ASIC ali povezanih delovnih postopkov
- Ustvarjanje inženirske in znanstvene programske opreme, izvajanje algoritmov iz raziskovalne literature ali sodelovanje pri projektih prevajalnikov
- Spoznavanje obsežne obstoječe odprtokodne zbirke kode in prispevanje k njej
- Prevzemanje odgovornosti za dodeljeno delo in samostojno reševanje tehničnih izzivov
- Napredovanje sistema Yosys in širšega odprtokodnega ekosistema EDA
- Sodelovanje pri odprtokodnih orodjih YosysHQ in morebitno prispevanje k njihovemu razvoju
Zahteve
- Dobro poznavanje C++ ali Rusta za formalno preverjanje ter pripravljenost na učenje drugih jezikov in Pythona
- Zaželene so izkušnje z izvajanjem preverjanja modelov strojne opreme
- Druga možnost so izkušnje s preverjanjem ali formalnimi metodami, vključno z reševanjem SAT/SMT, avtomatiziranim ali interaktivnim dokazovanjem izrekov, teorijo programskih jezikov ali teorijo avtomatov
- Osnovne izkušnje z načrtovanjem RTL-strojne opreme za formalno preverjanje
- Dobro poznavanje C++ za delo na sintezi
- Osnovne izkušnje z načrtovanjem RTL-strojne opreme, po možnosti z ASIC-i
- Ustrezne izkušnje lahko vključujejo inženirsko ali znanstveno programsko opremo, izvajanje raziskovalnih algoritmov ali razvoj prevajalnikov
- Izkušnje z vključevanjem v velik obstoječi projekt
- Sposobnost prevzeti odgovornost za dodeljene naloge in samostojno delati z omejenim nadzorom
- Ne smete prebivati v državi, za katero veljajo sankcije ali izvozne omejitve, niti vam ne sme biti prepovedano delo za vlado ZDA
- Prijava mora vključevati življenjepis in kratko spremno pismo
Ugodnosti
- Delo na daljavo s prilagodljivimi ureditvami
- Prilagodljiv delovni čas
- Delo s krajšim delovnim časom od enega do pet dni na teden
- Enotna plačna struktura z enako stopnjo za vse člane ekipe
- Delo z lokacije po vaši izbiri
- Sestanki ekipe običajno potekajo med 15.00 in 18.00 po dunajskem času, zunaj tega obdobja pa je urnik prilagodljiv