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)).
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.
attract young, outstanding students from Iceland to this research area.