[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
The IT University of Copenhagen invites applications for a tenured position as Associate Professor starting March 1, 2008 in the Programming, Logic and Semantics (PLS) group. The Programming, Logic and Semantics (PLS) group at the IT University of Copenhagen conducts research in the 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. Application deadline is Nov. 12, at noon. Please see http://www1.itu.dk/sw70441.asp for the full official announcement. Best wishes, Lars Birkedal