[ The Types Forum (announcements only),
I am writing to inform you that the IT University of Copenhagen is
looking for outstanding PhD applicants in the areas of
Programming languages, automated reasoning, logical frameworks, proof
assistants, semantics, category theory, domain theory, distributed and
mobile computing, business processes, concurrency theory, electronic
voting, formal methods, verification, algorithms, planning,
scheduling, verification, test, configuration; user interface software
technology, ubiquitous computing, software architectures, empirical
studies of software development in organizations, functional and
Please find more information about the PhD positions on our webpage.
Application deadline: October 10, 2008, noon.
-- Carsten Schuermann