From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id q219qp6U004550 for ; Thu, 1 Mar 2012 10:52:51 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Av8EACVGT0+DnwAk/2dsb2JhbABDtAWBB4F/BgEBNQ4KKAQDAQIGAisWAwQIAwYDAgECARoxDQgBAQGIAQu5FY0WCAMDDgICAwECAgIBCgEOCQMHBxQGAwKFAwcBAgMzDgcEBhqDMASIHJJrE40U X-IronPort-AV: E=Sophos;i="4.73,508,1325458800"; d="scan'208";a="146904966" Received: from mail-out2.informatik.tu-muenchen.de ([131.159.0.36]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 01 Mar 2012 10:52:45 +0100 Received: from lynx.model (lynx.model [192.168.248.173]) by post.in.tum.de (Postfix) with ESMTP id A63856805E; Thu, 1 Mar 2012 10:30:46 +0100 (CET) Received: from mail.model.in.tum.de (calf.model [192.168.248.165]) by lynx (Postfix) with ESMTP id 35FF53FA7 for ; Wed, 29 Feb 2012 16:38:34 +0100 (CET) Received: from localhost (localhost [127.0.0.1]) by mail.model.in.tum.de (Postfix) with ESMTP id 20B10520DA for ; Wed, 29 Feb 2012 16:38:34 +0100 (CET) X-Virus-Scanned: by amavisd-new/clamav/sophos at mail.model.in.tum.de Received: from mail.model.in.tum.de ([127.0.0.1]) by localhost (calf.model [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 5P3N+26OT11s for ; Wed, 29 Feb 2012 16:38:31 +0100 (CET) Received: by mail.model.in.tum.de (Postfix, from userid 8) id 8A221520E8; Wed, 29 Feb 2012 16:38:31 +0100 (CET) X-Spam-Checker-Version: SpamAssassin 3.2.3 (2007-08-08) on calf.model X-Spam-Level: Received: from post.in.tum.de (bull.model [192.168.248.166]) by mail.model.in.tum.de (Postfix) with ESMTP id 57E56520DA for ; Wed, 29 Feb 2012 16:38:17 +0100 (CET) Received: from [129.16.225.84] (129.16.225.84) by smtp.chalmers.se (129.16.10.240) with Microsoft SMTP Server (TLS) id 14.1.355.2; Wed, 29 Feb 2012 16:37:50 +0100 Message-ID: <4F4E464E.3080007@chalmers.se> Date: Wed, 29 Feb 2012 16:37:50 +0100 From: Wolfgang Ahrendt User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.27) Gecko/20120216 Thunderbird/3.1.19 MIME-Version: 1.0 To: Wolfgang Ahrendt Content-Type: text/plain; charset="ISO-8859-1"; format=flowed Content-Transfer-Encoding: 7bit X-Originating-IP: [129.16.225.84] X-Mailman-Approved-At: Thu, 01 Mar 2012 10:08:18 +0100 X-BeenThere: vmcai2012@lists.model.in.tum.de X-Mailman-Version: 2.1.9 Precedence: list List-Id: List-Unsubscribe: , List-Archive: List-Help: List-Subscribe: , Sender: vmcai2012-bounces@ural.informatik.tu-muenchen.de Errors-To: vmcai2012-bounces@ural.informatik.tu-muenchen.de X-Validation-by: ahrendt@chalmers.se Subject: [Caml-list] [VMCAI2012] Professor/Associate professor in Formal Methods CHALMERS University of Technology, Gothenburg, Sweden Department of Computer Science and Engineering Professor/Associate professor in Formal Methods The Department has 76 faculty members and enrols about 70 PhD students from more than 30 countries. The research spans the whole spectrum, from theoretical underpinnings to applied systems development. There is extensive national and international collaboration with academia and industry all around the world. The Division of Software Technology has around 15 faculty members and 25 postdocs and PhD students. We conduct successful research in functional programming, automatic theorem-proving, hardware design and verification, property-based testing of software, language-based security, and software verification. The scientific area of the new position is Formal Methods, interpreted broadly so as to include at least - formal specification, development and verification of software, - automatic theorem-proving and model-checking, - lightweight formal methods, including testing, - program semantics and analysis. Application deadline: March 22nd For more information see that full advertisement at http://www.chalmers.se/en/about-chalmers/vacancies/Pages/default.aspx (Select "Professor/Associate professor in formal methods", published 17/02/2012)