[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
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
http://www1.itu.dk/sw66047.asp
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.
Best regards,
-- Carsten Schuermann
