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