YosysHQ

Software Engineer

• Contribute to YosysHQ’s synthesis or formal verification areas
• Develop and maintain tools using C++, Rust, and Python
• Work on implementation of hardware model checking and formal methods, or RTL/ASIC synthesis workflows
• Build software for engineering or science applications, implement algorithms from scientific literature, or work on compiler-related projects
• Become familiar with and contribute to a large pre-existing open-source project
• Take responsibility for assigned tasks and address challenges independently
• Contribute to Yosys and the open-source EDA ecosystem
• Potentially interact with or contribute to YosysHQ’s open-source tools

Explore Synthesis or Formal Verification Developer at YosysHQ. Review requirements and application details.