Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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

Deadline: Friday 20 March 2020

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.

Please note that this newsitem has been archived, and may contain outdated information or links.