[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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
further details.
Applications (including CV, letter of motivation, three references)
may be submitted via the following link
https://orawww.uibk.ac.at/public/karriereportal.details?asg_id_in=11112
no later than March 20, 2020. Informal inquiries may be sent to
[email protected].
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
https://tcs-informatik.uibk.ac.at/
- Department of Computer Science
https://www.uibk.ac.at/informatik/
- University of Innsbruck
https://www.uibk.ac.at/
