🇪🇺 Austria • Contract
Synthesis or Formal Verification Developer at YosysHQ
🏢 YosysHQ
📍 Wien
📅 16 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... with either C++ or Rust, and willing to learn the others. Ideally, you would be familiar with the implementation side of hardware
Ready to take the next step in your European tech career?
Apply directly through the official application portal.