PhD student position in theoretical computer science, Innsbruck (Austria)

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.