1 – 10 Wafanyakazi
MaunziYosysHQ hutengeneza Yosys na miradi mingine ya programu huria inayohusiana na uhandisi wa vifaa vya kielektroniki na uotomatishaji wa usanifu wa kielektroniki (EDA). Kampuni hii inaunganisha zana za programu huria na bidhaa pamoja na huduma za kibiashara zinazosaidia timu za vifaa vya kielektroniki kuboresha michakato ya usanifu wa vifaa vya kidijitali, hivyo kuwa muhimu kwa wataalamu wanaofanya kazi katika uundaji wa vifaa na EDA.
Msanidi wa Usanisi au Uthibitishaji Rasmi — YosysHQ, Kazi ya Mbali kutoka Austria
Jiunge na YosysHQ kama msanidi wa EDA ya chanzo huria anayefanya kazi kwenye zana za usanisi au uthibitishaji rasmi. Wadhifa huu unahusisha maendeleo ya kujitegemea kwa kutumia C++, Rust na Python katika miradi ya usanifu na uthibitishaji wa maunzi.
Maelezo
- Kusaidia kazi ya usanisi au uthibitishaji rasmi ya YosysHQ
- Kutengeneza na kudumisha zana za EDA kwa kutumia C++, Rust na Python
- Kutekeleza ukaguzi wa modeli za maunzi, mbinu rasmi, usanisi wa RTL/ASIC au mifumo ya kazi inayohusiana
- Kuunda programu za uhandisi na kisayansi, kutekeleza algoriti kutoka kwenye machapisho ya utafiti au kuchangia miradi ya kompaili
- Kujifunza na kuchangia kwenye codebase kubwa iliyopo ya chanzo huria
- Kuwajibika kwa kazi ulizopewa na kutatua changamoto za kiufundi kwa kujitegemea
- Kuendeleza Yosys na mfumo mpana wa EDA wa chanzo huria
- Kushirikiana na uwezekano wa kuchangia kwenye zana za chanzo huria za YosysHQ
Mahitaji
- Uwezo mzuri wa C++ au Rust kwa uthibitishaji rasmi, pamoja na utayari wa kujifunza lugha nyingine na Python
- Uzoefu wa kutekeleza ukaguzi wa modeli za maunzi unapendelewa
- Vinginevyo, uzoefu katika uthibitishaji au mbinu rasmi, ikiwemo utatuzi wa SAT/SMT, uthibitishaji wa nadharia wa kiotomatiki au shirikishi, nadharia ya lugha za programu au nadharia ya otomatiki
- Uzoefu fulani wa usanifu wa maunzi wa RTL kwa uthibitishaji rasmi
- Uwezo mzuri wa C++ kwa kazi ya usanisi
- Uzoefu fulani wa usanifu wa maunzi wa RTL, ikiwezekana unaohusisha ASIC
- Uzoefu unaohusiana unaweza kujumuisha programu za uhandisi au kisayansi, utekelezaji wa algoriti za utafiti au uundaji wa kompaili
- Uzoefu wa kujifunza na kuelewa mradi mkubwa uliopo
- Uwezo wa kuwajibika kwa majukumu uliyopewa na kufanya kazi kwa kujitegemea ukiwa na usimamizi mdogo
- Hupaswi kuishi katika nchi iliyo chini ya vikwazo au vizuizi vya usafirishaji nje, au kuzuiwa kuifanyia kazi serikali ya Marekani
- Maombi lazima yaambatane na CV na barua fupi ya maombi
Manufaa
- Kazi ya mbali yenye mipangilio inayoweza kubadilika
- Saa za kazi zinazoweza kubadilika
- Ratiba ya muda wa sehemu kutoka siku moja hadi tano kwa wiki
- Muundo wa malipo wenye kiwango sawa kwa washiriki wote wa timu
- Kufanya kazi kutoka eneo ulilochagua
- Mikutano ya timu kwa kawaida hufanyika kati ya saa 9 alasiri na saa 12 jioni kwa saa za Vienna, huku kukiwa na unyumbufu nje ya muda huo