Fwd: PhD Position at the University of Salzburg in Coalgebra / Algebra / Semantics / Formal Methods / Probabilistic Systems

[Ichiro Hasuo]

みなさま，

ザルツブルク大学の Ana Sokolova 先生からのご案内を転送します．ぜひご検討ください．

蓮尾 一郎

国立情報学研究所

******

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 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 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 ana.so...@cs.uni-salzburg.at.

Salzburg is a small lovely town in the heart of Europe, with convenient train connections to most destinations in Europe, located just north of the Alps. It offers high quality of life, in particular wonderful natural environment suitable for many outdoor activities. Salzburg also offers rich cultural life, and is just a hop away from Vienna or Munich.

Please spread the word and/or apply.

Best,

Ana