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.

Tasks

We are around 10 people, with two main focus areas: synthesis and formal verification. This role will own the financials for the organization and the operations.

Financials

• Budgeting: Monitor budgets, track expenditures, and...