From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/4029 Path: news.gmane.org!not-for-mail From: Lars Birkedal Newsgroups: gmane.science.mathematics.categories Subject: Assoc. Prof. position at IT University of Copenhagen Date: Tue, 23 Oct 2007 11:32:12 +0200 Message-ID: NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Trace: ger.gmane.org 1241019676 11403 80.91.229.2 (29 Apr 2009 15:41:16 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:41:16 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Tue Oct 23 09:06:46 2007 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Tue, 23 Oct 2007 09:06:46 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.61) (envelope-from ) id 1IkIJU-00000T-Gl for categories-list@mta.ca; Tue, 23 Oct 2007 08:52:48 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 86 Original-Lines: 25 Xref: news.gmane.org gmane.science.mathematics.categories:4029 Archived-At: 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