Logic List Mailing Archive

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

UBW MNCHEN - W2 Theoretische Informatik und Mathematische Logik - Frist:
 
31.05.2010

In der Fakultt fr Informatik ist zum 1. Januar 2012 folgende Professu
r 
zu besetzen: W2-Universittsprofessur fr 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. Wnschenswert ist
 
eines der folgenden Gebiete: Modelltheorie, zum Beispiel mit Anwendungen 
in der Theorie der Datenbanken, Automatisches Beweisen, Logikkalkle, 
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 
Beitrge zur Grundlagenausbildung in Mathematik und Informatik erwartet.
 
Vorausgesetzt wird eine hervorragende wissenschaftliche Qualifikation, die
 
durch eine Habilitation, im Rahmen einer Juniorprofessur oder durch 
vergleichbare Ttigkeiten in einer Forschungseinrichtung oder in der 
Wirtschaft nachgewiesen wurde. Erfahrung in der Drittmitteleinwerbung und
 
die Mitwirkung in der akademischen Selbstverwaltung werden erwartet. Die 
Universitt der Bundeswehr Mnchen bietet fr Offizieranwrter/-inn
en und 
Offiziere ein wissenschaftliches Studium an, das in verkrzten 
Regelstudienzeiten im Trimestersystem zu Bachelor- und Masterabschlssen
 
fhrt. Das Studium wird durch fcherbergreifende, berufsqualifiziere
nde 
Anteile des integralen Begleitstudiums studium plus ergnzt. 
Einstellungsvoraussetzungen und dienstrechtliche Stellung eines 
Professors/einer Professorin bestimmen sich nach dem Bundesbeamtengesetz.
 
In das Beamtenverhltnis kann berufen werden, wer am Tag der Ernennung da
s 
50. Lebensjahr noch nicht vollendet hat. Die Universitt strebt eine 
Erhhung des Anteils von Professorinnen an und fordert deshalb 
ausdrcklich Wissenschaftlerinnen zur Bewerbung auf. Schwerbehinderte 
Bewerber und Bewerberinnen werden bei gleicher Qualifikation bevorzugt 
bercksichtigt. Bitte richten Sie die blichen Bewerbungsunterlagen bis
 
zum 31. Mai 2010 als vertrauliche Personalsache an den Dekan der Fakultt
 
fr Informatik der Universitt der Bundeswehr Mnchen, 
Werner-Heisenberg-Weg 39, 85577 Neubiberg.