[ The Types Forum (announcements only),
The IT University of Copenhagen, Denmark is offering a number of PhD
scholarships. The openings are in several areas, including the
research areas of Programming, Logic, and Semantics group: we are
conducting research on the semantics of logics and programming
languages, categorical logic and type theory, logical frameworks,
models of concurrency, verification, mobile and global computing.
The official announcement of the Ph.D. scholarships can be found at
The application deadline is 22 October 2007.
More information about the Programming, Logic and Semantics group at
ITU can be found at http://www.itu.dk/research/pls.
-- Carsten Schuermann