Logic List Mailing Archive

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

Technische Universit�t Berlin

An der Technischen Universit�t Berlin - Fakult�t IV - Elektrotechnik un
d 
Informatik ist folgende Universit�tsprofessur - BesGr. W3 - zu besetzen:

Professur
f�r das Fachgebiet "Logik und Semantik"
Kennziffer: IV-812

Aufgabengebiet: Es wird eine Pers�nlichkeit gesucht, die das genannte 
Fachgebiet in Forschung und Lehre vertritt. Zu den Aufgaben geh�rt die 
Beteiligung an Grundlagenlehrveranstaltungen, auch im Service f�r andere
 
Fakult�ten. Die Mitwirkung in Verbundprojekten sowie interdisziplin�re
 
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 f�r 
Softwaretechnik und Theoretische Informatik in Forschung und Lehre weiter
 
zu verst�rken.

M�gliche inhaltliche Schwerpunkte sind die klassische Algorithmen- und 
Komplexit�tstheorie, 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 ausdr�cklich erw�nscht.

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

Zur Wahrung der Chancengleichheit zwischen M�nnern und Frauen sind 
Bewerbungen von Frauen mit der jeweiligen Qualifikation ausdr�cklich 
erw�nscht. Schwerbehinderte werden bei gleicher Eignung bevorzugt.

Den Bewerbungsunterlagen sollen neben den �blichen Dokumenten auch Belege
 
�ber Lehrerfolge beigef�gt werden. Die Bewerber werden gebeten, drei 
ausgew�hlte Publikationen beizulegen und die jeweilige Auswahl kurz 
begr�nden.

Aus Kostengr�nden werden die Bewerbungsunterlagen nicht zur�ckgesandt.
 
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 
Ver�ffentlichung dieser Ausschreibung unter Angabe der Kennziffer an:
Technische Universit�t Berlin

Dekan der Fakult�t IV - Elektrotechnik und Informatik
Sekr. FR 5-1
Franklinstra�e 28/29
10587 Berlin