Logic List Mailing Archive

W3 Professorship in Logic in Computer Science, Berlin (Germany)

Humboldt-Universit�t zu Berlin

An der Mathematisch-Naturwissenschaftlichen Fakult�t II, Institut f�r 
Informatik, ist eine W3-Professur f�r Theoretische Informatik zum 
01.10.2013 zu besetzen.

Gesucht wird ein/e international ausgewiesene/r Expertin/Experte im Gebiet 
Logik in der Informatik. Erwartet werden exzellente Leistungen in 
Forschung und Lehre sowohl in grunds�tzlichen Fragen dieses Gebiets als 
auch in einem oder mehreren Anwendungsbereichen, bspw. Datenbanken, 
Modellierung oder Wissenspr�sentation. Der/Die Stelleninhaber/in wird das 
Bachelor- und Masterstudium Informatik mitgestalten k�nnen und an 
drittmittelfinanzierten Forschungsprojekten mitarbeiten.

Die Bewerber/innen m�ssen die Anforderungen f�r die Berufung zum 
Professor/zur Professorin gem�� � 100 des Berliner Hochschulgesetzes 
erf�llen.

Die Humboldt-Universit�t strebt eine Erh�hung des Anteils von Frauen in 
Forschung und Lehre an und fordert qualifizierte Wissenschaftlerinnen 
nachdr�cklich auf, sich zu bewerben. Bewerbungen aus dem Ausland sind 
erw�nscht. Schwerbehinderte Bewerber/innen werden bei gleicher Eignung 
bevorzugt. Bewerbungen von Menschen mit Migrationshintergrund sind 
ausdr�cklich erw�nscht.

Da wir Ihre Unterlagen nicht zur�cksenden, bitten wir Sie, Ihrer Bewerbung 
nur Kopien beizulegen.

Bewerbungen sind (einschl. Angaben zur Lehrerfahrung, Publikationen und 
Drittmitteleinwerbungen) innerhalb von 6 Wochen unter Angabe der 
Kennziffer PR/004/13 zu richten an die
Humboldt-Universit�t zu Berlin
Mathematisch-Naturwissenschaftliche Fakult�t II
Institut f�r Informatik
Gesch�ftsf�hrender Direktor
Unter den Linden 6
10099 Berlin