Synthesis or Formal Verification Developer at YosysHQBy rssbot / September 22, 2026 AustriaPosted 1 week ago YosysHQYou might know YosysHQ from our many Open Source EDA Projects.Source: https://himalayas.app/companies/yosyshq-com/jobs/synthesis-or-formal-verification-developer-at-yosyshq-3371411012 To apply for this job please visit himalayas.app.