
Synthesis or Formal Verification Developer — YosysHQ, Austria Remote
YosysHQ1 – 10 Angajați
HardwareJoin 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.
Deschide