4-year PhD position
georg.moser at uibk.ac.at
Sat Feb 8 02:31:44 EST 2020
I'm happy to announce the attached job offer; kindly note that the
will only be available from February 13.
4-year PhD position at the University of Innsbruck
Within the Theoretical Computer Science Group of the Department of
Computer Science at the University of Innsbruck, Austria there is an
opening for a 4 year PhD student position.
We are looking for a strong candidate interested in one (ideally a
combination) of the following areas (i) automation; (ii) logic and
type theory; (iii) programming languages; (iv) static program
analysis. Kindly see https://tcs-informatik.uibk.ac.at/vacancies/ for
Applications (including CV, letter of motivation, three references)
may be submitted via the following link
no later than March 20, 2020. Informal inquiries may be sent to
georg.moser at uibk.ac.at.
The city of Innsbruck is superbly located in the beautiful
surroundings of the Tyrolean Alps. The combination of the Alpine
environment and urban life in this historic town provides a high
quality of living.
Further information is available from the following links:
- Theoretical Computer Science Group
- Department of Computer Science
- University of Innsbruck
More information about the FOM