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 computation. The official announcement of the Ph.D. scholarships can be found at http://www.it-c.dk/Internet/jobs/ziatB6/ Application deadline is noon June 10, 2002. More information about the Theory Deparment can be found at http://www.it-c.dk/English/research/theory/ Best regards, Lars Birkedal ---------------------------------------------------------------------- Lars Birkedal (birkedal@it-c.dk) Associate Professor, Ph.d. Head of Theory Department The IT University of Copenhagen 17-May-2002 06:12:13 -0300,4396;000000000001-00000000