Logic List Mailing Archive

W2 Professorship "Algebraic and logical foundations of CS" Leipzig, Germany

Universitaet Leipzig

An der Fakultaet fuer Mathematik und Informatik der Universitaet Leipzig
ist zum 01.04.2007 folgende Stelle zu besetzen:

W2-Professur Algebraische und logische Grundlagen der Informatik

Gesucht wird eine Persoenlichkeit, die im Bereich der algebraischen und
logischen Grundlagen der Informatik wissenschaftlich hervorragend
ausgewiesen ist.

Besonderes Interesse besteht an Bewerbern/-innen mit Forschungskompetenz
in einem der folgenden Gebiete: Theorie reaktiver und verteilter Systeme,
formale Konzepte der Semantik und Verifikation diskreter Prozesse,
Grundlagen der Wissensrepraesentation.

Die Beteiligung an der studentischen Ausbildung, insbesondere in den
Informatik-Studiengaengen, wird vorausgesetzt.

Rechte und Pflichten o.g. Stelleninhaber/innen ergeben sich aus dem
Saechsischen Hochschulgesetz (SchsHG) und der Saechsischen
Dienstaufgabenverordnung.

Die Bewerber/innen mssen die Berufungsvoraussetzungen gem 40 SaechsHG
erfuellen.

Bewerbungen von Frauen sind besonders erwnscht.

Schwerbehinderte werden zur Bewerbung aufgefordert und bei gleicher
Eignung bevorzugt bercksichtigt.

Bewerbungen sind mit den blichen Unterlagen (unter Beilegung einer Liste
der wissenschaftlichen Arbeiten und der akademischen Lehrttigkeit sowie
einer beglaubigten Kopie der Urkunde ber den hchsten erworbenen
akademischen Grad) einzureichen bei:

Universitaet Leipzig
Fakultaet fuer Mathematik und Informatik
Dekan
Augustusplatz 10/11 
04109 Leipzig


Bewerbungsschluss: 31.08.2005