[TYPES/announce] Ph.D. scholarships at ITU of Copenhagen, Denmark

[Carsten Schuermann]

A number of Ph.D. scholarships are now available at the IT University of 
Copenhagen, Denmark. There are openings in several areas, including the 
research areas of Programming, Logic, and Semantics group: semantics of 
logics and programming languages, categorical logic and type theory,  
logical frameworks, automated theorem proving, proof assistants, models 
of concurrency, verification, mobile and global computing.

The official announcement of the Ph.D. scholarships can be found at
 http://www1.itu.dk/sw49645.asp

Application deadline is Oct. 2, 2006.

More information about the Programming, Logic and Semantics group at 
ITU  can be found at http://www.itu.dk/research/pls  and suggestions for 
possible Ph.D. topics can be found at 
http://www.itu.dk/research/pls/wiki/index.php/PhDtopics

Best regards,
Lars Birkedal and Carsten Schuermann