Current jobs at IT-Universitetet (ITU)

PhD Position in Probabilistic Session Types at the IT University of Copenhagen

The IT University of Copenhagen invites applications for a PhD position in the PROBABILIST project (PROBABILIstic Session Types), funded by the Independent Research Fund Denmark (DFF-FNU) starting in August or soon thereafter. The right candidate will contribute to advancing the theory and practice of probabilistic session types, a formal framework for reasoning about correctness, reliability, and expressiveness in distributed systems with probabilistic behaviour. Project Description

Research Support på ITU søger kollega til pre-award opgaver

Motiveres du af at yde kvalificeret rådgivning og support til forskere og bidrage til ITU’s fortsatte fremgang med ekstern forskningsfinansiering? Vi søger en kollega, der kan give kvalificeret ansøgningsspecifik støtte og samtidig indgå i udviklingen af vores arbejdsgange. Du har nemt ved at indgå i samarbejde både med dine nære kolleger, forskere og andre afdelinger i huset.

PhD position in Algorithms and Data Structures - based at the Section for Theoretical Computer Science at the IT University of Copenhagen

The IT University of Copenhagen invites you to apply for a PhD position in the theory of algorithm design and analysis starting September 1st or soon thereafter. Job description You will engage in the pursuit of new, efficient discrete algorithms for computational problems involving interesting topics such as: graphs, geometry, data structures, dynamic updates, distributed computation, string indexing, and more

Postdoc positions in HCI and Videogames Theory at IT University of Copenhagen

The IT University of Copenhagen invites highly motivated individuals to apply for a Postdoc position in HCI and Videogames Theory at IT University of Copenhagen. Job description Interdisciplinary fields such as Human-Computer Interaction (HCI) and Game Design have imported theory from a variety of disciplines, such as psychology and design, but also developed novel theoretical tools