Synthesis or Formal Verification Developer at YosysHQ

You might know YosysHQ from our many Open Source EDA Projects. We are the maintainers of Yosys and the accompanying Open Source EDA ecosystem. Our team is pushing the boundaries of EDA in interesting and unexpected ways, and making these tools and methodologies available for professionals, hobbyists and academics alike.

We offer off-the-shelf software packages that seamlessly integrate our tools in industry design environments and provide support and training for users of our software packages. We also offer custom development of individual features and entire flows based on our software components, and support and training for developers working on custom projects based on our Open Source work.

We are around 12 people, with two main focus areas: synthesis and formal verification. If you can contribute to either of these areas, we welcome your application.

Tasks

For the formal verification area:

• Our tools use C++, Rust, an...