Logic List Mailing Archive

CfA: PhD Position in Coalgebra / Algebra / Semantics / Formal Methods / Probabilistic Systems, Salzburg (Austria), deadline: rolling basis

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@cs.uni-salzburg.at<mailto:ana.sokolova@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@cs.uni-salzburg.at<mailto:ana.sokolova@cs.uni-salzburg.at>
webpage: www.cs.uni-salzburg.at/~anas<http://www.cs.uni-salzburg.at/~anas>
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php