We have an open PhD position for working on formal verification in Yosys and other open source tools, including Surfer :) https://aemy.cs.hm.edu/open-positions/2026/01/19/open-source-formal-verification.html Come join an exciting group here in Munich, we are currently ~15 people working on various aspects of open source chip design, and we are planning to grow even more this year And a more permanent link with other positions too https://aemy.cs.hm.edu/open-positions/