Join YosysHQ as a Synthesis or Formal Verification Developer and work remotely on innovative open-source EDA projects.

This position seeks an expert in Lean4 theorem proving to model quantitative problems.