Teams at YosysHQ

Lead organizational operations and financials for a small open-source EDA company. Own budgeting, FP&A, pricing strategy, contracts (including client portals like SAP Ariba), grant writing/submission management, and team operations including reviews and 1:1s. Work part-time as an independent contractor with CET overlap for meetings.

Work on open-source EDA tools focusing on synthesis or formal verification. Contribute in C++, Rust, and Python to implement/extend model checking, verification algorithms, or synthesis flows. Require RTL design familiarity, ability to navigate large existing codebases, and work independently as a remote contractor for an Austrian company with CET meeting hours.