1 – 10 Darbuotojai
Aparatinė įrangaYosysHQ kuria „Yosys“ ir susijusius atvirojo kodo elektronikos projektavimo automatizavimo (EDA) projektus, skirtus techninės įrangos kūrimui. Įmonė derina atvirojo kodo įrankius su komerciniais produktais ir paslaugomis, padedančiais elektronikos komandoms tobulinti skaitmeninės techninės įrangos projektavimo darbo eigą. Todėl ji aktuali techninės įrangos kūrimo ir EDA srityse dirbantiems specialistams.
Sintezės arba formaliojo verifikavimo kūrėjas — YosysHQ, nuotolinis darbas Austrijoje
Prisijunkite prie YosysHQ kaip atvirojo kodo EDA kūrėjas ir dirbkite su sintezės arba formaliojo verifikavimo įrankiais. Šis darbas apima savarankišką kūrimą C++, Rust ir Python kalbomis aparatinės įrangos projektavimo bei verifikavimo projektuose.
Aprašymas
- Prisidėkite prie YosysHQ sintezės arba formaliojo verifikavimo darbų
- Kurkite ir prižiūrėkite EDA įrankius naudodami C++, Rust ir Python
- Įgyvendinkite aparatinės įrangos modelių tikrinimą, formaliuosius metodus, RTL/ASIC sintezę ar susijusius procesus
- Kurkite inžinerinę ir mokslinę programinę įrangą, įgyvendinkite mokslinėje literatūroje aprašytus algoritmus arba prisidėkite prie kompiliatorių projektų
- Susipažinkite su didele esama atvirojo kodo baze ir prisidėkite prie jos kūrimo
- Prisiimkite atsakomybę už paskirtas užduotis ir savarankiškai spręskite techninius iššūkius
- Prisidėkite prie Yosys ir platesnės atvirojo kodo EDA ekosistemos pažangos
- Dalyvaukite kuriant YosysHQ atvirojo kodo įrankius ir, jei įmanoma, prisidėkite prie jų tobulinimo
Reikalavimai
- C++ arba Rust išmanymas formaliojo verifikavimo srityje ir pasirengimas išmokti kitas kalbas bei Python
- Pageidautina aparatinės įrangos modelių tikrinimo įgyvendinimo patirtis
- Arba patirtis verifikavimo ar formaliųjų metodų srityje, įskaitant SAT/SMT sprendimą, automatinį ar interaktyvų teoremų įrodymą, programavimo kalbų teoriją arba automatų teoriją
- Tam tikra RTL aparatinės įrangos projektavimo patirtis, skirta formaliajam verifikavimui
- C++ išmanymas sintezės darbams
- Tam tikra RTL aparatinės įrangos projektavimo patirtis, pageidautina susijusi su ASIC
- Tinkama patirtis gali apimti inžinerinę ar mokslinę programinę įrangą, mokslinių algoritmų įgyvendinimą arba kompiliatorių kūrimą
- Patirtis įsiliejant į didelį esamą projektą
- Gebėjimas prisiimti paskirtą atsakomybę ir savarankiškai dirbti su ribota priežiūra
- Negalite gyventi šalyje, kuriai taikomos sankcijos ar eksporto apribojimai, arba būti apribotas dirbti JAV vyriausybei
- Kartu su paraiška reikia pateikti CV ir trumpą motyvacinį laišką
Privalumai
- Nuotolinis darbas su lanksčiomis darbo sąlygomis
- Lanksčios darbo valandos
- Darbas ne visą darbo laiką nuo vienos iki penkių dienų per savaitę
- Vienoda darbo užmokesčio struktūra, pagal kurią visiems komandos nariams taikomas vienodas tarifas
- Dirbkite iš pasirinktos vietos
- Komandos susitikimai paprastai vyksta nuo 15 iki 18 val. Vienos laiku, o kitu metu taikomas lankstus grafikas