We have a PhD position to fill in the newly formed group CALM (Coalgebra, Algebra, and Logical Methods) at the Department of Computer Science, University of Salzburg. The position is for 4 years, with all benefits (and a small teaching obligation in year 2 and year 3). The topic of research will be fixed based on the joint interests of the candidate and the supervisor, within the mentioned areas. 

Applications will be considered on a rolling basis, until the position is filled -- ideally before August 2026. Please send your (for now informal) application with a CV and your research interests directly to

Logic?? What do you DO with THAT!?

ILLC alumni are at the cutting-edge not only in academia, but also across tech, government, finance, nonprofit, and other sectors. Join us for a panel discussion with five ILLC alumni who are leading and innovating in their fields. Hear how their academic background informs their work in industry, and how they've navigated career changes and opportunities.

Panel discussion and audience Q&A session followed by reception.