
Ontwikkelaar synthese of formele verificatie — YosysHQ, op afstand in Oostenrijk
YosysHQ1 – 10 Medewerkers
HardwareGa aan de slag als open-source-EDA-ontwikkelaar bij YosysHQ en werk aan tools voor synthese of formele verificatie. De functie omvat zelfstandig ontwikkelen in C++, Rust en Python voor projecten rond hardwareontwerp en verificatie.
Openen