1 – 10 Alkalmazottak
HardverA YosysHQ a hardvermérnöki munkát támogató Yosys és kapcsolódó, nyílt forráskódú elektronikai tervezésautomatizálási (EDA) projekteket fejleszt. A vállalat a nyílt forráskódú eszközöket kereskedelmi termékekkel és szolgáltatásokkal ötvözi, amelyek segítik az elektronikai csapatokat a digitális hardvertervezési munkafolyamatok javításában, így különösen releváns a hardverfejlesztésben és az EDA területén dolgozó szakemberek számára.
Söntéstechnikai vagy formális verifikációs fejlesztő — YosysHQ, Ausztria, távmunka
Csatlakozz a YosysHQ csapatához nyílt forráskódú EDA-fejlesztőként, szintézis- vagy formális verifikációs eszközökön dolgozva. A szerepkör önálló fejlesztést foglal magában C++, Rust és Python használatával hardvertervezési és -verifikációs projektekben.
Leírás
- A YosysHQ szintézis- vagy formális verifikációs munkájának támogatása
- EDA-eszközök fejlesztése és karbantartása C++, Rust és Python használatával
- Hardveres modell-ellenőrzés, formális módszerek, RTL/ASIC-szintézis vagy kapcsolódó munkafolyamatok megvalósítása
- Mérnöki és tudományos szoftverek készítése, kutatási szakirodalomban leírt algoritmusok megvalósítása vagy fordítóprojektekhez való hozzájárulás
- Egy jelentős, meglévő nyílt forráskódú kódbázis megismerése és fejlesztése
- A kijelölt feladatok önálló kezelése és a technikai problémák önálló megoldása
- A Yosys és a szélesebb nyílt forráskódú EDA-ökoszisztéma fejlesztése
- A YosysHQ nyílt forráskódú eszközeinek használata és szükség esetén fejlesztése
Követelmények
- C++ vagy Rust magabiztos használata formális verifikációhoz, valamint hajlandóság a másik nyelv és a Python elsajátítására
- A hardveres modell-ellenőrzés megvalósításában szerzett tapasztalat előnyt jelent
- Alternatívaként verifikációs vagy formális módszertani tapasztalat, beleértve a SAT/SMT-megoldást, az automatikus vagy interaktív tételbizonyítást, a programozási nyelvek elméletét vagy az automaták elméletét
- Némi tapasztalat RTL-hardvertervezésben formális verifikációhoz
- C++ magabiztos használata szintézishez
- Némi RTL-hardvertervezési tapasztalat, ideális esetben ASIC-ekkel
- Releváns tapasztalat lehet mérnöki vagy tudományos szoftverfejlesztés, kutatási algoritmusok megvalósítása vagy fordítófejlesztés
- Tapasztalat egy nagy, meglévő projekt megismerésében és fejlesztésében
- A kijelölt felelősségi körök önálló kezelése és munkavégzés korlátozott felügyelet mellett
- Nem élhet szankciók vagy exportkorlátozások hatálya alá tartozó országban, és nem állhat fenn az Egyesült Államok kormánya számára való munkavégzés tilalma
- A jelentkezéshez önéletrajz és rövid motivációs levél szükséges
Juttatások
- Távmunka rugalmas munkaszervezéssel
- Rugalmas munkaidő
- Heti egytől öt napig terjedő részmunkaidős munkarend
- Egységes bérezési struktúra, amely minden csapattagra azonos díjat alkalmaz
- Munkavégzés az Ön által választott helyszínről
- A csapatmegbeszélések általában bécsi idő szerint 15 és 18 óra között zajlanak, ezen az idősávon kívül pedig rugalmasan szervezhetők