Logic List Mailing Archive

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

Technische Universitt Dresden

An der Fakultt Informatik ist folgende Professur zu besetzen:

Zum 01.04.2006

Professur (W3) fr Algebraische und logische Grundlagen der Informatik

Die zu berufende Persnlichkeit 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 fr
Theoretische Informatik liegen, sowie die Betreuung von Diplomanden u.
Doktoranden. Darber hinaus wird eine Beteiligung an der
Grundlagenausbildung im Fach Informatik auch fr andere Fakultte
n
erwartet. In der Forschung soll die/der Bewerber/in durch einschlgige
,
international anerkannte Forschungsarbeiten auf dem genannten Gebiet
hervorragend ausgewiesen sein, insb. im Bereich reaktiver, nebenlufig
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 gehrt 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
Schsisches Hochschulgesetz vom 11.06.1999 erfllen. Eine Habilit
ation
oder habilitationsquivalente Leistung wird vorausgesetzt. Der Freista
at
Sachsen wird das Professorenreformbesoldungsgesetz bis zum 01. Januar 2005
in Landesrecht umsetzen. Frauen sind ausdrcklich zur Bewerbung
aufgefordert. Bewerbungen Schwerbehinderter werden bei gleicher Eignung
bevorzugt bercksichtigt.

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 ausgewhlten Publikationen u.
beglaubigte Kopie der Urkunde ber den erworbenen hchsten 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