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

Tasks

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

• (scheduled) Master degree in computer science/mathematics or a related field
• excellency in theory and/or programming
• good command of English
• social skill and the ability to work in a team

How to Apply

The application must be submitted in English and must contain:

• CV with a description of the academic and professional career
• list of scientific presentation and/or publications
• further scientific works and projects
• letter of motivation (1-2 pages)
• the names of three potential writers of recommendation letters

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.