[TYPES/announce] PhD positions at the IT University of Copenhagen

[Carsten Schürmann]

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