YosysHQ

Browse and apply for open jobs at YosysHQ.

software-engineer

YosysHQ is the team behind Yosys and related Open Source EDA (Electronic Design Automation) projects, offering commercial products and services. They focus on providing solutions that enhance the design process in electronics engineering and support the development of tools for hardware design.

• Contribute to YosysHQ’s synthesis or formal verification focus areas
• Develop and maintain open-source EDA tools and software packages
• Work on formal verification tools using C++, Rust, and Python
• Implement hardware model checking and related formal methods
• Develop synthesis functionality using C++ and RTL hardware design knowledge
• Work on custom development of individual features and complete flows based on YosysHQ software components
• Support and train users and developers working with the software
• Independently take responsibility for assigned tasks and resolve challenges
• Participate in team meetings typically held between 3pm and 6pm Vienna time (CET/CEST)

Synthesis or Formal Verification Developer

Developer building YosysHQ’s open-source EDA tools for synthesis or formal verification. Applying C++, Rust, Python, hardware design, and formal methods expertise.

YosysHQ is the team behind Yosys and related Open Source EDA projects, offering commercial products and services.

YosysHQ

Open jobs

1 jobs found

Synthesis or Formal Verification Developer

YosysHQ