Logic List Mailing Archive

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

Humboldt-Universitt zu Berlin

An der Mathematisch-Naturwissenschaftlichen Fakultt II, Institut fr 
Informatik, ist eine W3-Professur fr 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 grundstzlichen Fragen dieses Gebiets als 
auch in einem oder mehreren Anwendungsbereichen, bspw. Datenbanken, 
Modellierung oder Wissensprsentation. Der/Die Stelleninhaber/in wird das 
Bachelor- und Masterstudium Informatik mitgestalten knnen und an 
drittmittelfinanzierten Forschungsprojekten mitarbeiten.

Die Bewerber/innen mssen die Anforderungen fr die Berufung zum 
Professor/zur Professorin gem  100 des Berliner Hochschulgesetzes 
erfllen.

Die Humboldt-Universitt strebt eine Erhhung des Anteils von Frauen in 
Forschung und Lehre an und fordert qualifizierte Wissenschaftlerinnen 
nachdrcklich auf, sich zu bewerben. Bewerbungen aus dem Ausland sind 
erwnscht. Schwerbehinderte Bewerber/innen werden bei gleicher Eignung 
bevorzugt. Bewerbungen von Menschen mit Migrationshintergrund sind 
ausdrcklich erwnscht.

Da wir Ihre Unterlagen nicht zurcksenden, 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-Universitt zu Berlin
Mathematisch-Naturwissenschaftliche Fakultt II
Institut fr Informatik
Geschftsfhrender Direktor
Unter den Linden 6
10099 Berlin