Logic List Mailing Archive

W2 Professorship in Theoretical Computer Science, Muenchen (Germany), Deadline: 8 August 2008

In der Fakultt fr Informatik der Technischen Universitt Mnchen 
ist zum 
nchstmglichen Zeitpunkt eine Stelle fr ein Extraordinariat fr
 
Informatik mit Schwerpunkt Theoretische Informatik (W2) zu besetzen.

Die Bewerberin/der Bewerber soll in Forschung und Lehre die bestehenden 
Schwerpunkte im Bereich der Theoretischen Informatik ergnzen. Erwartet
 
werden insbesondere Beitrge zu formalen Methoden fr die qualitative o
der 
quantitative Systemanalyse, sowie zu ihren Anwendungen fr den sicheren
 
und korrekten Entwurf von software-intensiven, eingebetteten, 
web-basierten, oder mobilen Systemen.

Besonderes Interesse besteht an Persnlichkeiten, die im neu 
eingerichteten Graduiertenkolleg "Programm- und Modellanalyse" mitwirken 
knnen. Ziel des Kollegs ist die Untersuchung, Kombination und Anwendung
 
von Methoden aus den Bereichen statische Analyse, Model-Checking, 
maschinelles Beweisen und Typsysteme.

Es werden die Bereitschaft zu interdisziplinrer Zusammenarbeit im Rahmen
 
der Mglichkeiten einer Technischen Universitt und die Mitwirkung in d
er 
Lehre der Bachelor- und Master-Studiengnge der Fakultt erwartet.

Einstellungsvoraussetzungen sind ein universitrer Hochschulabschluss ode
r 
ein anerkannter Fachhochschulabschluss, pdagogische Eignung, Promotion
 
und Habilitation oder Nachweis gleichwertiger wissenschaftlicher 
Leistungen, die sowohl im Rahmen einer Juniorprofessur als auch einer 
Ttigkeit auerhalb des Hochschulbereiches erbracht sein knnen. 
Bewerberinnen oder Bewerber drfen zum Zeitpunkt der Ernennung das 52. 
Lebensjahr noch nicht vollendet haben. Ausnahmen von der Altersgrenze 
knnen in dringenden Fllen zugelassen werden.

Schwerbehinderte werden bei ansonsten im Wesentlichen gleicher Eignung 
bevorzugt eingestellt.

Die Technische Universitt Mnchen hat sich in der Exzellenzinitiative 
des 
Bundes und der Lnder das strategische Ziel gesetzt, den Anteil von Fraue
n 
in Forschung und Lehre deutlich zu erhhen. Wissenschaftlerinnen werden
 
deshalb nachdrcklich um ihre Bewerbung gebeten.

Bewerbungen mit den blichen Unterlagen (Lebenslauf, Zeugnisse, Urkunden,
 
Publikationsliste einschlielich ausgewhlter Sonderdrucke) werden bis 
zum 
8. August 2008 erbeten an: Technische Universitt Mnchen

Fakultt fr Informatik
Dekan
Boltzmannstr. 3
85748 Garching bei Mnchen

Bewerbungsschluss: 08.08.2008