Actively hiring
Open Source Projects & Foundations
EDA Software
As featured in
View 1 job
Claim pageClaim
Follow
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
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
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
Report
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
