Logic List Mailing Archive

W3 Professorship Theoretical Computer Science (TU Muenchen)

TECHNISCHE UNIVERSITAET MUENCHEN

W3-Professorship in Theoretical Computer Science

DEADLINE: July 12, 2004

http://www.tu-muenchen.de/infocenter/jobboerse/professuren/180504_1.pdf

Die Stelleninhaberin/der Stelleninhaber soll in Forschung und Lehre das
Gebiet der Theoretischen lnformatik vertreten, insbesondere hinsichtlich
der Erforschung und der Weiterentwicklung der formalen Grundlagen
verteilter und vernetzter Systeme, zusammen mit der Umsetzung der
theoretischen und kalkuelmaessigen Anstze in Softwaretools und -systeme.
Die Bewerberin/der Bewerber sollte umfassende Kenntnisse der theoretischen
Informatik besitzen. Besonderes Interesse besteht an Persoenlichkeiten,
die einschlaegige Forschungsbeitraege in den folgenden Feldern vorweisen
knnen:

- Entwurf und Modellierung verteilter, vernetzter und sicherer Systeme
- Komplexitaetstheorie, insbesondere algorithmische und logische
Komplexitaet verteilter Prozesse
- Entwurf und Validierung verteilter Algorithmen
- Korrektheit und Konsistenz in groen vernetzten Systemen
- Modellierung, Struktur, Entwurf, Analyse, Verifikation intelligenter,
selbstadaptierender, lernender autonomer (Multi-Agenten-) Systeme