Post #1689610
2026-01-19 11:58 UTC
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/
Replies (1)
-
@marcviMa1729@mastodon.social 2026-01-19 18:22
@thezoq2 that's really awesome! Just a small query, pre-requisites mentioned is it compulsory? I had past experience contributing to circt in synth dialect (minimal patches) Would love to work more on providing end to end like synth , placement and route (asic/FPGA) in circt but I see circt is still early for it