Theoretical Computer Science
This page lists open positions within the Theoretical Computer Science Group.

PhD Positions

Within the AUTOSARD project there is a four year PhD position in the area of Program Analysis available at the earliest convenience.


The successful applicant should engage in topics within the topics of the project, that is, work on the automated analysis of the most common data structures with good, ie. sublinear, complexity, as they are typically used in standard libraries of programming languages. In particular, we are looking for a strong candidate in the area of logic and program analysis, preferable with an interest into probabilisitic. However, candidates with a background in any of the group's research interests, broadly construed, are also strongly encouraged to apply.

It is expected that you write a dissertation in this area, publish in international, relevant conferences; supervise students and participate in public events. Please contact Georg Moser for further details.

Eligibility Requirements.
How to Apply.

The application must be submitted in English and must contain:

The minimum gross salary for 30 hours amounts to € 2.458,-- per month (14 times), that is, annually € 34.412,--). The salary will be higher if you have worked in a similar positionbefore. Furthermore, the university has numerous attractive offers. We look forward to receiving your online application until March, 12 2023 by email to Georg Moser.

The University of Innsbruck strives to increase the proportion of its female employees, especially in leadership positions, and therefore explicitly invites women to apply. In the case of equivalent qualifications, female applicants will be given preference.

PostDoc Positions

Currently no postdoc positions are available.