[TYPES/announce] PhD Position at the University of Salzburg in Coalgebra / Algebra / Semantics / Formal Methods / Probabilistic Systems

[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.sokolova at 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



-- 
Univ.-Prof. Dr. Ana Sokolova
Fachbereich Informatik
Paris Lodron Universität Salzburg
Jakob-Haringer-Str.2, 5020, Salzburg
email: ana.sokolova at cs.uni-salzburg.at
webpage: https://urldefense.com/v3/__http://www.cs.uni-salzburg.at/*anas__;fg!!IBzWLUs!TtZB9MPAyCNsuVCAdH0D4FIyPSWpjHK9OYjzh0nh0LKIG1JdjCwWUznfOgtXDO2XlrXOa1jtrdBEeDciKMHKNTBG8--tauClhjGL$ 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20260423/a736ae11/attachment.htm>