Dear All, A number of Ph.D. positions are available in the Programming, Logic, and Semantics research group at the IT University of Copenhagen. Please see http://www1.itu.dk/graphics/ITU-library/Intranet/Personale/Stillingsopslag/V... for the official announcement and for information on how to apply. Application deadline is March 24, 2010. Potential applicants are welcome to contact me or other faculty members in the PLS group (www.itu.dk/research/pls) for more information. Best wishes, Lars Birkedal Professor, Head of PLS group and the FIRST research school. www.itu.dk/~birkedal [For admin and other information see: http://www.mta.ca/~cat-dist/ ]