Ph.D. scholarships at the IT University of Copenhagen

A number of 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 Theory Department: algorithms and complexity theory,
semantics of logics and programming languages, category theory, categorical
logic and type theory, models of concurrency, verification, mobile

The official announcement of the Ph.D. scholarships can be found at

Application deadline is noon June 10, 2002.
More information about the Theory Deparment can be found at

Best regards,
Lars Birkedal

Lars Birkedal  (birkedal@it-c.dk)
Associate Professor, Ph.d. 
Head of Theory Department
The IT University of Copenhagen