Logic List Mailing Archive

W2 Professorship in Theoretical Computer Science and Mathematical Logic, Munich (Germany), Deadline: 31 May 2010

UBW M�NCHEN - W2 Theoretische Informatik und Mathematische Logik - Frist:
 
31.05.2010

In der Fakult�t f�r Informatik ist zum 1. Januar 2012 folgende Professu
r 
zu besetzen: W2-Universit�tsprofessur f�r Theoretische Informatik und
 
Mathematische Logik (Nachfolge: Prof. Dr. rer. nat. Ulf Schmerl) 
Bewerberinnen und Bewerber sollen durch Forschungsarbeiten ausgewiesen 
sein, die theoretische Informatik und Logik verbinden. W�nschenswert ist
 
eines der folgenden Gebiete: Modelltheorie, zum Beispiel mit Anwendungen 
in der Theorie der Datenbanken, Automatisches Beweisen, Logikkalk�le, 
Rekursionstheorie, modale und temporale Logik sowie Model-Checking, 
Bereichstheorie, Semantik von Programmiersprachen und 
Verifikationsmethoden. In der Lehre werden neben der Vertretung der 
Gebiete der theoretischen Informatik und der mathematischen Logik auch 
Beitr�ge zur Grundlagenausbildung in Mathematik und Informatik erwartet.
 
Vorausgesetzt wird eine hervorragende wissenschaftliche Qualifikation, die
 
durch eine Habilitation, im Rahmen einer Juniorprofessur oder durch 
vergleichbare T�tigkeiten in einer Forschungseinrichtung oder in der 
Wirtschaft nachgewiesen wurde. Erfahrung in der Drittmitteleinwerbung und
 
die Mitwirkung in der akademischen Selbstverwaltung werden erwartet. Die 
Universit�t der Bundeswehr M�nchen bietet f�r Offizieranw�rter/-inn
en und 
Offiziere ein wissenschaftliches Studium an, das in verk�rzten 
Regelstudienzeiten im Trimestersystem zu Bachelor- und Masterabschl�ssen
 
f�hrt. Das Studium wird durch f�cher�bergreifende, berufsqualifiziere
nde 
Anteile des integralen Begleitstudiums studium plus erg�nzt. 
Einstellungsvoraussetzungen und dienstrechtliche Stellung eines 
Professors/einer Professorin bestimmen sich nach dem Bundesbeamtengesetz.
 
In das Beamtenverh�ltnis kann berufen werden, wer am Tag der Ernennung da
s 
50. Lebensjahr noch nicht vollendet hat. Die Universit�t strebt eine 
Erh�hung des Anteils von Professorinnen an und fordert deshalb 
ausdr�cklich Wissenschaftlerinnen zur Bewerbung auf. Schwerbehinderte 
Bewerber und Bewerberinnen werden bei gleicher Qualifikation bevorzugt 
ber�cksichtigt. Bitte richten Sie die �blichen Bewerbungsunterlagen bis
 
zum 31. Mai 2010 als vertrauliche Personalsache an den Dekan der Fakult�t
 
f�r Informatik der Universit�t der Bundeswehr M�nchen, 
Werner-Heisenberg-Weg 39, 85577 Neubiberg.