Available PhD positions at ICE-TCS
The centre is seeking PhD candidates in the following fields: logic and concurrency (contacts: Anna Ingolfsdottir (annai AT ru.is) and Luca Aceto (luca AT ru.is)), algorithms and distributed computing (contacts: Eyjólfur Ingi Ásgeirsson (eyjo AT ru.is) and Magnús M. Halldórsson (mmh AT ru.is)), combinatorics and automated proofs (contact: Henning Arnór Úlfarsson (henningu AT ru.is)), types and programming-language semantics (contact: Tarmo Uustalu (tarmo AT ru.is)).
Aims and Scope
The aim of the Centre is to establish in Iceland important areas of basic research in the mathematical foundations of Computer Science, notably Algorithmic Program Verification, Mathematical Logic in Computer Science, Models and Logics for Reactive Systems, Semantics of Computation and Systems Biology, alongside existing activities in Algorithmics, Bioinformatics, Applied and Discrete Mathematics and Machine Learning.
Theoretical Computer Science is a research area in which Iceland now hosts a critical mass of internationally recognized researchers. It is high time to establish a research centre in this field to exploit the available scientific strength in order to