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`

Georg Weissenbacher @GeorgWeissenbacher@fediscience.org

3/24/2025, 10:14:38 AM

Public

Want do do a PhD in Computer Science in the heart of Europe? We are hiring!

10 FWF-funded positions at TU Wien for doctoral students in our newly founded doctoral college on

Automated Reasoning (https://forsyte.at/docfunds/)

Come to Vienna (repeatedly ranked the world's most livable city) to work with an amazing team on on exciting topics at the intersection of security and artificial intelligence with Automated Reasoning at the core!

Deadline: May 18, 2025
Start: October 2025 (or soon after)
Details: https://forsyte.at/docfunds/

#phdposition #phd #hiring #automatedreasoning #security #artificial_intelligence #FWF

FORSYTE.at

forsyte.at

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