From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 34E3FBBAF for ; Thu, 26 Jun 2008 15:21:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArsBABk1Y0iDnwAMjWdsb2JhbACSYQEBAQEJBQgFE59d X-IronPort-AV: E=Sophos;i="4.27,708,1204498800"; d="scan'208";a="14449373" Received: from mailout1.informatik.tu-muenchen.de ([131.159.0.12]) by mail1-smtp-roc.national.inria.fr with ESMTP; 26 Jun 2008 15:21:34 +0200 Received: from [131.159.58.41] (atseidl8.informatik.tu-muenchen.de [131.159.58.41]) by mail.in.tum.de (Postfix) with ESMTP id A8C1ECCEC for ; Thu, 26 Jun 2008 15:21:34 +0200 (CEST) Message-ID: <486397EE.7030704@in.tum.de> Date: Thu, 26 Jun 2008 15:21:50 +0200 From: Helmut Seidl User-Agent: Thunderbird 2.0.0.14 (X11/20080505) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Associate Professorship at TUM, Germany Content-Type: text/plain; charset=ISO-8859-15; format=flowed Content-Transfer-Encoding: 8bit X-Virus-Scanned: ClamAV using ClamSMTP X-Spam: no; 0.00; seidl:01 seidl:01 model:01 model:01 habilitation:01 abstract:01 theorem:02 checking:02 theoretical:03 theoretical:03 static:03 universit:03 universit:03 proving:05 women:93 ======================================================= Associate Professorship in Theoretical Computer Science ======================================================= The Faculty of Computer Science of the Technische Universität München invites applications for a tenured associate professorship (W2) in theoretical computer science. The Faculty seeks candidates with an excellent research record in formal methods for qualitative and quantitative analysis of systems, with applications to the safety and security of software-intensive, embedded, web-based, or mobile systems. The Faculty is particularly interested in candidates that can contribute to the Graduate School (Graduiertenkolleg) "Program and Model Analysis", starting in July 2008. The goal of the School is the development of analysis techniques combining methods from static analysis, model checking, theorem proving and abstract interpretation. Successful candidates will be teaching in the Bachelor and Master programmes of the Faculty. Interest in interdisciplinary cooperations within the University is expected. Applicants should have a doctorate and a Habilitation or equivalent qualification, and be at most 52 years old. The Technische Universität München gives priority to applicants with disabilities in the case of equal qualification. The University has the strategic goal of substantially increasing the participation of women in research and teaching, and so female scientists are encouraged to apply. Applications including a CV and a list of publications should be sent before August 8 to the Dean of the Faculty of Computer Science at the following address Fakultät für Informatik Technische Universität München Boltzmannstr. 3 85748 Garching bei München Germany