🇪🇺 Austria • Contract
Synthesis or Formal Verification Developer at YosysHQ
🏢 YosysHQ
📍 Wien
📅 30 September 2026
Job Description
, we welcome your application. Tasks For the formal verification area: Our tools use C++, Rust, and Python. You should already be comfortable
Ready to take the next step in your European tech career?
Apply directly through the official application portal.