Associate Professorship in Programming, Logic and Semantics at the IT University of Copenhagen, Denmark. The IT University of Copenhagen invites applications for a position as Associate Professor in the Programming, Logic, and Semantics Group. The position is available from August 2007. The Programming, Logic and Semantics (PLS) group at the IT University of Copenhagen conducts research in semantics of logics and programming languages; models for concurrent, mobile and distributed systems; logical frameworks, modular software verification; programming language implementation techniques; program analysis; and programming language technology for distributed and mobile applications, in particular for context-aware mobile computing. The successful candidate must document internationally recognized research in the research areas of the PLS group. Moreover, the applicant should be willing and able to teach in a wide variety of courses at all levels. Please see http://www1.itu.dk/sw58262.asp for the full official announcement. Application deadline is April 16, 2007. Best wishes, Lars Birkedal