
Synthesis or Formal Verification Developer — YosysHQ, Austria Remote
YosysHQ1 – 10 Қызметкерлер
Аппараттық құрал6 000 € / ай
ҚашықтанКелісімшартОрта деңгейАға маманҚажетті Тіл: ағылшын тіліБағдарламалық жасақтама инженеріJoin 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.
Ашу