A PhD position is available in the newly formed group CALM (Coalgebra, Algebra, and Logical Methods) at the Department of Computer Science, University of Salzburg.
The position is a university assistant position 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.
The intended (yet flexible) starting date is October 1, 2026. A prerequisite is a Master’s degree in Computer Science or Mathematics or a related field, and a strong background in theory (formal methods, semantics).
Applications are considered on a rolling basis until the position is filled, ideally before August 2026. Please send an informal application with a CV and a statement of research interests to Ana Sokolova (ana.sokolova [at] cs.uni-salzburg.at).