YosysHQ

Role 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. Tasks - Financials - Budgeting: Monitor budgets, track expenditures, and ensure alignment with company goals. - Financial Planning + Analysis: Create financial forecasts, analyze staffing and new project variances, and develop strategic financial models to support decision-making. - Pricing Strategy: Assess pricing models and costs of development services to maximize revenue and market competitiveness. Define and track retention and lifetime value data. - Client Financial Requirements: Attend Grant meetings and prepare documentation to ensure we meet the criteria for upcoming projects. - Operations - Operational Leadership: Work with the Project Manager to develop and optimize operational processes for efficiency and scalability. - Team management: Foster a culture of accountability, collaboration, and continuous improvement. Own 1 on 1’s and our Biannual review process. - Contracts: Own the contract process including redline requests, invoicing, and managing work on client financial portals (SAP Ariba, etc.). - Grant writing: Research, identify, and pursue relevant grants and funding opportunities aligned with the company’s objectives. Handle all non-technical aspects for grant proposals, including managing submission processes and tracking deadlines. As we are a small and busy team, and as such we have limited resources for training. To succeed in this role you will need to have some experience in getting integrated with small businesses or startups. You will need to be comfortable delegating tasks, empowering your team to work at their best, and heading off challenges quickly. Requirements - This is a flexible part time remote role (1-3 days per week). - You would be working as an independent contractor/freelancer for an Austrian company, from wherever you are. - Our team meetings usually take place between 3pm and 6pm Vienna time (CET/CEST), otherwise you can choose to work whenever you want. - YosysHQ has a flat pay hierarchy, where everyone earns the same rate: currently 6000€/month for full time contract work. As such, the only parameter that can be negotiated is the days per week. - As YosysHQ works with US government contractors, you must not be living in a country subject to sanctions or export restrictions, or banned from performing work for the US government for other reasons. How to Apply If you’re intrigued by the work we do, please send us your CV and a brief cover letter detailing how your past experience translates to the work we do.

Role 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. Tasks - For the formal verification area: - 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. - 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, you may also succeed. - 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. Requirements - This is a flexible remote role which could be part time (1-5 days per week). - You would be working as an independent contractor/freelancer for an Austrian company, from wherever you are. - Our team meetings usually take place between 3pm and 6pm Vienna time (CET/CEST), otherwise you can choose to work whenever you want. - YosysHQ has a flat pay hierarchy, where everyone earns the same rate: currently 6000€/month for full time contract work. As such, the only parameter that can be negotiated is the days per week. - As YosysHQ works with US government contractors, you must not be living in a country subject to sanctions or export restrictions, or banned from performing work for the US government for other reasons. How to Apply Even if your background doesn’t perfectly align with these areas, we’re always interested in hearing from passionate and skilled individuals. If you’re intrigued by the work we do, please send us your CV and a brief cover letter detailing how your past experience translates to the work we do. We’re especially excited to hear from candidates who have interacted with or contributed to our open-source tools—though this is not a requirement. Show us your potential, and let’s explore how you can make an impact!

• Contribute to formal verification or synthesis areas • Custom development on software components • Address challenges independently within a small team

• Own the financials for the organization • Monitor budgets and track expenditures • Create financial forecasts and analyze staffing • Develop operational processes for efficiency • Foster a culture of accountability and continuous improvement • Own the contract process and manage client financial portals • Research and pursue relevant grants and funding opportunities