> Markdown version of [/jobs/ext/2261458-synthesis-or-formal-verification-developer-at-yosyshq](https://www.wearedevelopers.com/jobs/ext/2261458-synthesis-or-formal-verification-developer-at-yosyshq). Every page supports `.md` or `Accept: text/markdown`. Links point to the HTML versions so they work for humans too. Agent guide: [/agents.md](https://www.wearedevelopers.com/agents.md).

---

# Synthesis or Formal Verification Developer at YosysHQ

- **Company:** YosysHQ
- **Location:** Wien, Austria (Remote available)
- **Salary:** €84,000.0
- **Contract:** Permanent contract
- **Skills:** Automata Theory, C++ (Programming Language), Custom Software, Formal Verification, Hardware Design, Python (Programming Language), Open Source Technology, Software Construction, Rust (Programming Language), Enterprise Software Applications, Application Specific Integrated Circuits, Formal Methods, Programming Languages
- **Published:** August 27, 2026
- **Apply:** https://www.xing.com/jobs/vienna-synthesis-formal-verification-developer-yosyshq-146663503

## About the Role

* 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 model checking.
 * Alternatively, we think you would be able to succeed if you have a background in the general area of verification or formal methods (such as SAT/SMT solving, automated/interactive theorem proving, programming language theory or automata theory), and have had a little bit of contact with RTL hardware design.

For the synthesis area:

 * You should be comfortable with C++.
 * You should have some experience with RTL hardware design (ideally for ASIC).
 * Any of the following experiences would likely transfer to this job:
 * Building software for engineering or science applications
 * Implementing a practical application based on an algorithm in the scientific literature
 * Working on a compiler

As we are a small and busy team, we have limited resources for training. To succeed in this role you will need to have some experience in getting familiar with a large-ish pre-existing project. You'll need to be comfortable taking responsibility for assigned tasks, working through them independently, and addressing challenges without needing extensive supervision.

## Description

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.


## Related Videos

- [When testing just doesn’t cut it](https://www.wearedevelopers.com/videos/720-when-testing-just-doesn-t-cut-it)
- [Product discovery techniques developers should know](https://www.wearedevelopers.com/videos/1009-product-discovery-techniques-developers-should-know)
- [How Regex Works: The Secret Sauce Behind Pattern Matching](https://www.wearedevelopers.com/videos/1212-how-regex-works-the-secret-sauce-behind-pattern-matching)
- [AI Meets Hoare Logic: Revolutionizing Software Testing with Formal Methods](https://www.wearedevelopers.com/videos/1644-ai-meets-hoare-logic-revolutionizing-software-testing-with-formal-methods)
- [Launching a marketplace on-time: A lesson in taking shortcuts using spreadsheets!](https://www.wearedevelopers.com/videos/477-launching-a-marketplace-on-time-a-lesson-in-taking-shortcuts-using-spreadsheets)
- [More efficient software for more efficient microchips](https://www.wearedevelopers.com/videos/1164-more-efficient-software-for-more-efficient-microchips)

## Related Articles

- [Austria – the most livable place for software developers?](https://www.wearedevelopers.com/magazine/20-austria-the-most-livable-place-for-software-developers)
- [How to Find Tech Jobs in Vienna](https://www.wearedevelopers.com/magazine/292-how-to-find-tech-jobs-in-vienna)
- [Is Software Engineering Over-Saturated?](https://www.wearedevelopers.com/magazine/418-is-software-engineering-over-saturated)
- [Fully Remote Software Engineer Jobs](https://www.wearedevelopers.com/magazine/447-fully-remote-software-engineer-jobs)
- [Where To Find Software Engineering Jobs](https://www.wearedevelopers.com/magazine/396-where-to-find-software-engineering-jobs)
- [Where to Find Entry-Level Software Engineering Jobs](https://www.wearedevelopers.com/magazine/397-where-to-find-entry-level-software-engineering-jobs)