Theoretical Computer Science

Affiliation

Theoretical Computer Science,
Department of Computer Science
University of Innsburck

News

PhD Position available
2020/2/8

We have an offering for a 4-year PhD position in an area of the core interests of the TCS group. In particular, we are looking for a candiate interested in one (or ideally a combination) of the following areas: (i) automation; (ii) logic and type theory; (iii) programming languages; and (iv) static program analysis. Kindly, see the information in vacancies.
TCS get's started
2020/2/1

The homepage of the Theoretical Computer Science Group is online.
News archive

Members

Address

University of Innsbruck
Technikerstrasse 21a, 2. OG
A-6020 Innsbruck, Austria

Contact

email: {firstname.lastname}@uibk.ac.at