Overview
Connections
News
Technologies
Salaries
Products
People
Growth
Offices
Jobs
Financials

Overview

YosysHQ is an Austrian software company that maintains the open source Yosys synthesis tool and the surrounding open source electronic design automation ecosystem. It offers off-the-shelf software packages that integrate its tools into industry design environments and provides support, and it hires synthesis and formal verification developers and a chief operating officer. The company is headquartered in Vienna, Austria.

News

News YosysHQ Blog 1 year ago
TaMaRa: Towards a Triple Modular Redundancy Pass for Yosys
This is a guest blog post by Matt Youngn# Foreword Although I'm a computer scientist by education, I've always been interested in space since I was a kid. For a long time, I had simply forgotten about this interest, as I got more in-depth into FPGAs, then
Read more
Report
News YosysHQ Blog 1 year ago
An open source FPGA toolchain for a large European space-grade FPGA
In what was a major achievement in open source FPGA development, we have now added support for the largest FPGA so far supported by open source tooling! 500,000 LUTs!nIn November 2024 we successfully concluded the European Space Agency funded project in c
Read more
Report
News YosysHQ Blog 3 years ago
Solving a Sudoku with SBY and Formal Verification
Repurposing SBY to solve a Sudoku
Read more
Report

Tech stack

The technologies known for YosysHQ, by layer.
Languages
C++
Python
Rust
Developer tools
Yosys
Formal Verification
Sign in to see how your skills match this stack Sign In

Growth

Hiring Momentum
20/100
Hiring freeze
Open positions
2
0 opened / 0 closed in 30 days
Median time-to-fill
391 days
faster than 3% of the market
ATS activity
Every ~8 hours
Today
Hiring Dynamics 0%
Hiring Focus
The percentage next to each role is its share of the company's job openings over the last 90 days; the arrow shows the shift versus the previous period.
Hardware
50% ▼
Operations
50% ▼

Offices

Where the company hires and what each office is for
Cities
1
Hiring now
0
Countries
1
Vienna Austria
HQ
10-50 est. staff

Jobs

Remote (likely Austria, CET hours) · Contractor
Python
Rust
C++
Yosys
Formal Verification
Apply

Financials

Total raised
$287k
Latest round
Grant
Funding rounds
2
Funding rounds
Round Announced Amount
Grant 2026 $115k Details
Grant 2026 $172k Details