Logic List Mailing Archive

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

In der Fakultt fr Informatik ist zum baldmglichsten Zeitpunkt ein 
Lehrstuhl fr 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" ergnzend zu den bestehenden Schwerpunkten 
der Fakultt fr 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 verfgen und in der Forschung 
magebliche Beitrge aufweisen. Von besonderem Interesse sind Themen in 
den Bereichen:


     * Logik in der Informatik
     * rechnergesttztes Theorembeweisen
     * Entscheidungsprozeduren
     * Verifikation von Programmen und Systemen


Die Fakultt legt groen Wert auf hervorragende Forschungsleistung sowohl 
in der Theorie als auch in der praktischen Umsetzung in untersttzenden 
Werkzeugen. Besonderes Interesse besteht an Persnlichkeiten, die im 
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. Mitwirkung in der Lehre bei den Bachelor- und 
Masterstudiengngen der Fakultt fr Informatik und Bereitschaft zu 
interdisziplinrer Zusammenarbeit im Rahmen der Mglichkeiten einer 
Technischen Universitt werden erwartet.

Einstellungsvoraussetzungen sind ein abgeschlossenes Studium an einer 
wissenschaftlichen Hochschule, pdagogische Eignung, Promotion, 
Habilitation oder der Nachweis gleichwertiger wissenschaftlicher 
Leistungen, die auch in einer Ttigkeit auerhalb des Hochschulbereichs 
erbracht sein knnen. Einschlgige Drittmittelaktivitten sind erwnscht. 
Bewerber drfen das 52. Lebensjahr zum Zeitpunkt der Ernennung noch nicht 
vollendet haben. Ausnahmen von der Altersgrenze knnen in dringenden 
Fllen zugelassen werden. Schwerbehinderte werden bei gleicher Eignung 
bevorzugt bercksichtigt. Die Technische Universitt Mnchen strebt eine 
Erhhung des Anteils von Frauen in Forschung und Lehre an und bittet 
deshalb qualifizierte Wissenschaftlerinnen nachdrcklich, sich zu 
bewerben.

Mit dem Service des TUM Munich Dual Career Office bietet die Technische 
Universitt Mnchen Untersttzung fr Doppelkarriere-Paare und Familien 
an.

Bewerbungen mit den blichen Unterlagen (Lebenslauf, Kopien von Zeugnissen 
und Urkunden, Publikationsliste einschlielich ausgewhlter Sonderdrucke) 
werden bis zum 30.11.2010 erbeten an:

Technische Universitt Mnchen
Dekan der Fakultt fr Informatik
Boltzmannstrae
85747 Garching bei Mnchen