Hackers' Pub

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`

TheZoq2 @thezoq2@mastodon.social

1/19/2026, 11:58:22 AM

Public

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/

Research Associate in Open Source Tools for formal verification of digital circuits

We offer positions in our team for current and upcoming projects in the area of open source chip design tools. Your tasks include: Exploration of data models for incremental formal verification Design and Implementation of a database for formal verification Integration and extension of verification algorithms with the database Collaboration...

aemy.cs.hm.edu · AEMY

If you have a fediverse account, you can quote this note from your own instance. Search https://mastodon.social/users/thezoq2/statuses/115921643284230945 on your instance and quote it. (Note that quoting is not supported in Mastodon.)