Logic List Mailing Archive

W3 Professorship 'Logic and Semantics' (Computer Science), Berlin (Germany)

Technische Universitt Berlin

An der Technischen Universitt Berlin - Fakultt IV - Elektrotechnik un
d 
Informatik ist folgende Universittsprofessur - BesGr. W3 - zu besetzen:

Professur
fr das Fachgebiet "Logik und Semantik"
Kennziffer: IV-812

Aufgabengebiet: Es wird eine Persnlichkeit gesucht, die das genannte 
Fachgebiet in Forschung und Lehre vertritt. Zu den Aufgaben gehrt die 
Beteiligung an Grundlagenlehrveranstaltungen, auch im Service fr andere
 
Fakultten. Die Mitwirkung in Verbundprojekten sowie interdisziplinre
 
Kooperationen mit anderen Fachbereichen der TU Berlin und der Industrie 
werden erwartet. Es werden Kompetenz und Engagement beim Aufbau von 
eigenen Schwerpunkten vorausgesetzt, um das Profil des Instituts fr 
Softwaretechnik und Theoretische Informatik in Forschung und Lehre weiter
 
zu verstrken.

Mgliche inhaltliche Schwerpunkte sind die klassische Algorithmen- und 
Komplexittstheorie, Algorithmen-Engineering, Logik in der Informatik, 
formale Spezifikation, Modellierung und Verifikation, sowie die Theorie 
von Programmiersprachen. Auch die Betonung von neueren Themen der 
theoretischen Informatik wie Sicherheit oder alternative 
Berechnungsmodelle (Bio-, Quanten-, ...) ist ausdrcklich erwnscht.

Anforderungen: Erfllung der Berufungsvoraussetzungen gem  100 B
erl HG 
(Merkblatt wird auf Wunsch zugeschickt). Neben einer hervorragenden 
wissenschaftlichen Qualifikation werden ausgezeichnete didaktische 
Fhigkeiten erwartet. Die Bereitschaft, Lehrveranstaltungen auch in 
englischer Sprache abzuhalten, wird vorausgesetzt. Erfahrungen in der 
Einwerbung von Drittmitteln sind erwnscht.

Zur Wahrung der Chancengleichheit zwischen Mnnern und Frauen sind 
Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdrcklich 
erwnscht. Schwerbehinderte werden bei gleicher Eignung bevorzugt.

Den Bewerbungsunterlagen sollen neben den blichen Dokumenten auch Belege
 
ber Lehrerfolge beigefgt werden. Die Bewerber werden gebeten, drei 
ausgewhlte Publikationen beizulegen und die jeweilige Auswahl kurz 
begrnden.

Aus Kostengrnden werden die Bewerbungsunterlagen nicht zurckgesandt.
 
Bitte reichen Sie nur Kopien ein.

Die Stellenausschreibung ist auch im Internet unter
http://www.personalabteilung.tu-berlin.de/menue/jobs/abrufbar.

Bewerbungen richten Sie bitte schriftlich innerhalb von 4 Wochen nach 
Verffentlichung dieser Ausschreibung unter Angabe der Kennziffer an:
Technische Universitt Berlin

Dekan der Fakultt IV - Elektrotechnik und Informatik
Sekr. FR 5-1
Franklinstrae 28/29
10587 Berlin