Logic List Mailing Archive

W3 Professorship "Logic in Computer Science", Munich (Germany), Deadline: 30 Nov 2010

In der Fakult�t f�r Informatik ist zum baldm�glichsten Zeitpunkt ein 
Lehrstuhl f�r Informatik mit der Ausrichtung "Logik und Verifikation in 
der Informatik" (Bes.Gr. W3) zu besetzen.

Die Stelleninhaberin/der Stelleninhaber soll das Gebiet "Logik und 
Verifikation in der Informatik" erg�nzend zu den bestehenden Schwerpunkten 
der Fakult�t f�r Informatik in Forschung und Lehre vertreten. Die 
Bewerberin/der Bewerber sollte �ber umfassende Kenntnisse in der 
theoretischen Informatik im Allgemeinen und insbesondere dem Teilgebiet 
Logik und Verifikation in der Informatik verf�gen und in der Forschung 
ma�gebliche Beitr�ge aufweisen. Von besonderem Interesse sind Themen in 
den Bereichen:


     * Logik in der Informatik
     * rechnergest�tztes Theorembeweisen
     * Entscheidungsprozeduren
     * Verifikation von Programmen und Systemen


Die Fakult�t legt gro�en Wert auf hervorragende Forschungsleistung sowohl 
in der Theorie als auch in der praktischen Umsetzung in unterst�tzenden 
Werkzeugen. Besonderes Interesse besteht an Pers�nlichkeiten, die im 
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. Mitwirkung in der Lehre bei den Bachelor- und 
Masterstudieng�ngen der Fakult�t f�r Informatik und Bereitschaft zu 
interdisziplin�rer Zusammenarbeit im Rahmen der M�glichkeiten einer 
Technischen Universit�t werden erwartet.

Einstellungsvoraussetzungen sind ein abgeschlossenes Studium an einer 
wissenschaftlichen Hochschule, p�dagogische Eignung, Promotion, 
Habilitation oder der Nachweis gleichwertiger wissenschaftlicher 
Leistungen, die auch in einer T�tigkeit au�erhalb des Hochschulbereichs 
erbracht sein k�nnen. Einschl�gige Drittmittelaktivit�ten sind erw�nscht. 
Bewerber d�rfen das 52. Lebensjahr zum Zeitpunkt der Ernennung noch nicht 
vollendet haben. Ausnahmen von der Altersgrenze k�nnen in dringenden 
F�llen zugelassen werden. Schwerbehinderte werden bei gleicher Eignung 
bevorzugt ber�cksichtigt. Die Technische Universit�t M�nchen strebt eine 
Erh�hung des Anteils von Frauen in Forschung und Lehre an und bittet 
deshalb qualifizierte Wissenschaftlerinnen nachdr�cklich, sich zu 
bewerben.

Mit dem Service des TUM Munich Dual Career Office bietet die Technische 
Universit�t M�nchen Unterst�tzung f�r Doppelkarriere-Paare und Familien 
an.

Bewerbungen mit den �blichen Unterlagen (Lebenslauf, Kopien von Zeugnissen 
und Urkunden, Publikationsliste einschlie�lich ausgew�hlter Sonderdrucke) 
werden bis zum 30.11.2010 erbeten an:

Technische Universit�t M�nchen
Dekan der Fakult�t f�r Informatik
Boltzmannstra�e
85747 Garching bei M�nchen