Logic List Mailing Archive

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

In der Fakult�t f�r Informatik der Technischen Universit�t M�nchen 
ist zum 
n�chstm�glichen Zeitpunkt eine Stelle f�r ein Extraordinariat f�r
 
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 erg�nzen. Erwartet
 
werden insbesondere Beitr�ge zu formalen Methoden f�r die qualitative o
der 
quantitative Systemanalyse, sowie zu ihren Anwendungen f�r den sicheren
 
und korrekten Entwurf von software-intensiven, eingebetteten, 
web-basierten, oder mobilen Systemen.

Besonderes Interesse besteht an Pers�nlichkeiten, die im neu 
eingerichteten Graduiertenkolleg "Programm- und Modellanalyse" mitwirken 
k�nnen. 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 interdisziplin�rer Zusammenarbeit im Rahmen
 
der M�glichkeiten einer Technischen Universit�t und die Mitwirkung in d
er 
Lehre der Bachelor- und Master-Studieng�nge der Fakult�t erwartet.

Einstellungsvoraussetzungen sind ein universit�rer Hochschulabschluss ode
r 
ein anerkannter Fachhochschulabschluss, p�dagogische Eignung, Promotion
 
und Habilitation oder Nachweis gleichwertiger wissenschaftlicher 
Leistungen, die sowohl im Rahmen einer Juniorprofessur als auch einer 
T�tigkeit au�erhalb des Hochschulbereiches erbracht sein k�nnen. 
Bewerberinnen oder Bewerber d�rfen zum Zeitpunkt der Ernennung das 52. 
Lebensjahr noch nicht vollendet haben. Ausnahmen von der Altersgrenze 
k�nnen in dringenden F�llen zugelassen werden.

Schwerbehinderte werden bei ansonsten im Wesentlichen gleicher Eignung 
bevorzugt eingestellt.

Die Technische Universit�t M�nchen hat sich in der Exzellenzinitiative 
des 
Bundes und der L�nder das strategische Ziel gesetzt, den Anteil von Fraue
n 
in Forschung und Lehre deutlich zu erh�hen. Wissenschaftlerinnen werden
 
deshalb nachdr�cklich um ihre Bewerbung gebeten.

Bewerbungen mit den �blichen Unterlagen (Lebenslauf, Zeugnisse, Urkunden,
 
Publikationsliste einschlie�lich ausgew�hlter Sonderdrucke) werden bis 
zum 
8. August 2008 erbeten an: Technische Universit�t M�nchen

Fakult�t f�r Informatik
Dekan
Boltzmannstr. 3
85748 Garching bei M�nchen

Bewerbungsschluss: 08.08.2008