
Synthesis or Formal Verification Developer — YosysHQ, Austria Remote
YosysHQ1 – 10 Xodimlar
Apparat ta’minoti6 000 € / oy
MasofaviyShartnomaO‘rta darajaSeniorTalab Qilinadigan Til: inglizchaDasturiy ta’minot muhandisiJoin YosysHQ as an open-source EDA developer working on synthesis or formal verification tools. The role involves independent development in C++, Rust, and Python across hardware design and verification projects.
Ochish