[TYPES] Ph.D. scholarships at the IT University of Copenhagen

[Lars Birkedal]

10 Ph.D. scholarships are now advertised at the IT University of
Copenhagen, Denmark. There are openings in several areas, including the
research areas of the Department of Theoretical Computer Science: 
algorithms and complexity theory, semantics of logics and programming
languages, categorical logic and type theory, models of
concurrency, verification, mobile and global computing.

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

Application deadline is noon March 1, 2005.
 
More information about the Deparment of Theoretical Computer Science
can be found at
    http://www1.itu.dk/sw648.asp

Best regards,
Lars Birkedal


----------------------------------------------------------------------
Lars Birkedal  (birkedal at it-c.dk)
Associate Professor, Ph.d. 
Head of Department of Theoretical Computer Science
The IT University of Copenhagen