Logic List Mailing Archive

W3-Professur TU Dresden: Algebraische und logische Grundlagen der Informatik

Technische Universit�t Dresden

An der Fakult�t Informatik ist folgende Professur zu besetzen:

Zum 01.04.2006

Professur (W3) f�r Algebraische und logische Grundlagen der Informatik

Die zu berufende Pers�nlichkeit soll das Gebiet der algebraischen u.
logischen Grundlagen der Informatik in Lehre u. Forschung vertreten. Die
Aufgaben in der Lehre umfassen Lehrveranstaltungen aller Studiengae?nge
der Fak. Informatik, sofern sie in der Verantwortung des Instituts f�r
Theoretische Informatik liegen, sowie die Betreuung von Diplomanden u.
Doktoranden. Dar�ber hinaus wird eine Beteiligung an der
Grundlagenausbildung im Fach Informatik auch f�r andere Fakult�te
n
erwartet. In der Forschung soll die/der Bewerber/in durch einschl�gige
,
international anerkannte Forschungsarbeiten auf dem genannten Gebiet
hervorragend ausgewiesen sein, insb. im Bereich reaktiver, nebenl�ufig
er
u. verteilter Systeme. Hier sollen die Forschungsinteressen beispielsweise
auf den formalen Grundlagen der Semantiken oder der Verifikation von
Eigenschaften von Prozessen, die auf solchen Systemen ablaufen, liegen.
Weiterhin geh�rt zu den Aufgaben die Mitwirkung in der Selbstverwaltun
g
u. in den akademischen Gremien der Fak. Informatik.

Die Bewerber/innen mue?ssen die Einstellungsvoraussetzungen geaess ? 
� 40
S�chsisches Hochschulgesetz vom 11.06.1999 erf�llen. Eine Habilit
ation
oder habilitations�quivalente Leistung wird vorausgesetzt. Der Freista
at
Sachsen wird das Professorenreformbesoldungsgesetz bis zum 01. Januar 2005
in Landesrecht umsetzen. Frauen sind ausdr�cklich zur Bewerbung
aufgefordert. Bewerbungen Schwerbehinderter werden bei gleicher Eignung
bevorzugt ber�cksichtigt.

Ihre Bewerbung richten Sie bitte mit den ue?bl. Unterlage, tabell.
Lebenslauf, Darstellung des wiss. u. berufl. Entwicklungsweges, Liste der
wiss. Arbeiten, Sonderdrucke von drei ausgew�hlten Publikationen u.
beglaubigte Kopie der Urkunde �ber den erworbenen h�chsten akad. 
Grad)
bis zum 11.10.2004 an:

Technische Universitae?t Dresden
Dekan der Fakultae?t Informaitk
Herrn Prof. Dr. rer. nat. habil. Dr. h.c. A. Schill
01062 Dresden