1 – 10 Työntekijät
LaitteistoYosysHQ kehittää Yosysia ja siihen liittyviä avoimen lähdekoodin elektroniikan suunnitteluautomaation (EDA) projekteja laitteistokehitystä varten. Yritys yhdistää avoimen lähdekoodin työkalut kaupallisiin tuotteisiin ja palveluihin, jotka auttavat elektroniikkatiimejä tehostamaan digitaalisen laitteiston suunnittelutyönkulkuja. Tämä tekee siitä merkityksellisen kumppanin laitteistokehityksen ja EDA:n parissa työskenteleville ammattilaisille.
Synteesi- tai formaalisen verifioinnin kehittäjä — YosysHQ, etätyö Itävallasta
Liity YosysHQ:n avoimen lähdekoodin EDA-kehittäjäksi työskentelemään synteesi- tai formaalin verifioinnin työkalujen parissa. Tehtävässä kehitetään itsenäisesti C++-, Rust- ja Python-ohjelmistoja laitteistosuunnittelun ja verifioinnin projekteissa.
Kuvaus
- Tue YosysHQ:n synteesi- tai formaalisen verifioinnin työtä
- Kehitä ja ylläpidä EDA-työkaluja C++:lla, Rustilla ja Pythonilla
- Toteuta laitteistomallien tarkistusta, formaaleja menetelmiä, RTL/ASIC-synteesiä tai niihin liittyviä työnkulkuja
- Luo suunnittelu- ja tieteellisiä ohjelmistoja, toteuta tutkimuskirjallisuudesta peräisin olevia algoritmeja tai osallistu kääntäjäprojekteihin
- Perehdy laajaan olemassa olevaan avoimen lähdekoodin koodikantaan ja osallistu sen kehittämiseen
- Vastaa osoitetusta työstä ja ratkaise teknisiä haasteita itsenäisesti
- Edistä Yosysin ja laajemman avoimen lähdekoodin EDA-ekosysteemin kehitystä
- Osallistu YosysHQ:n avoimen lähdekoodin työkalujen kehittämiseen ja mahdollisesti niiden ylläpitoon
Vaatimukset
- C++:n tai Rustin hyvä hallinta formaalia verifiointia varten sekä halu oppia muita kieliä ja Pythonia
- Laitteistomallien tarkistuksen toteuttamisen tuntemus katsotaan eduksi
- Vaihtoehtoisesti kokemusta verifioinnista tai formaaleista menetelmistä, kuten SAT/SMT-ratkaisusta, automaattisesta tai vuorovaikutteisesta teoreemantodistuksesta, ohjelmointikielten teoriasta tai automaattiteoriasta
- Jonkin verran kokemusta RTL-laitteistosuunnittelusta formaalia verifiointia varten
- C++:n hyvä hallinta synteesityötä varten
- Jonkin verran RTL-laitteistosuunnittelukokemusta, mieluiten ASIC-piireihin liittyen
- Soveltuva kokemus voi liittyä suunnittelu- tai tieteellisiin ohjelmistoihin, tutkimusalgoritmien toteuttamiseen tai kääntäjien kehittämiseen
- Kokemusta työskentelystä suuressa olemassa olevassa projektissa
- Kyky ottaa vastuulle osoitetut tehtävät ja työskennellä itsenäisesti vähäisellä valvonnalla
- Asuinpaikka ei saa olla maassa, johon kohdistuu pakotteita tai vientirajoituksia, eikä henkilö saa olla estynyt työskentelemästä Yhdysvaltain hallitukselle
- Hakemukseen vaaditaan ansioluettelo ja lyhyt saatekirje
Edut
- Etätyö joustavilla järjestelyillä
- Joustavat työajat
- Osa-aikainen työskentely yhdestä viiteen päivään viikossa
- Tasapalkkarakenne, jossa kaikille tiimin jäsenille maksetaan sama korvaus
- Työskentele valitsemastasi sijainnista
- Tiimikokoukset järjestetään yleensä Wienin aikaa klo 15–18, ja tämän ajan ulkopuolella on joustoa