Synthesis or Formal Verification Developer at YosysHQ
, 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