Logic List Mailing Archive

W3 Professorship Theoretical Computer Science, Cottbus, Germany

Brandenburgische Technische Universitt Cottbus 

In der Fakultt Mathematik, Naturwissenschaften und Informatik ist zum
Wintersemester 2006 die

Universitaetsprofessur W3 Theoretische Informatik

zu besetzen. 

Die Professur soll in der systemorientierten Ausrichtung der Cottbuser
Informatik um die Schwerpunkte "software-intensive Systeme" und
"Informations- und Kommunikationssysteme" die theoretischen Grundlagen der
Informatik einbringen. Es wird eine herausragende Persnlichkeit gesucht,
die sowohl in Forschung als auch Lehre auf mindestens einem der folgenden
Gebiete exzellent ausgewiesen ist:

- Logik, KI 
- Theorembeweise, formale Verifikation 
- Algorithmentheorie, effiziente Algorithmen. 

In der Lehre wird eine aktive Mitwirkung an der Informatikausbildung im
Grund- und Hauptstudium der Studiengnge Informatik und Informations- und
Medientechnik erwartet. Des Weiteren werden die Teilnahme in der
Serviceausbildung sowie die interdisziplinre Zusammenarbeit mit anderen
Fakultten vorausgesetzt.

Weitere Aufgaben ergeben sich aus 37 Brandenburgisches Hochschulgesetz
(BbgHG) i. V. m.  3 BbgHG.

Die Einstellungsvoraussetzungen und -bedingungen sind in 38 und 40 des
BbgHG ersichtlich.

Die BTU Cottbus strebt eine Erhhung des Anteils der Professorinnen an und
fordert daher entsprechend qualifizierte Wissenschaftlerinnen nachdrcklich
auf, sich zu bewerben.

Schwerbehinderte Bewerberinnen und Bewerber werden bei gleicher
Qualifikation bevorzugt bercksichtigt.

Bewerbungen mit Lebenslauf, Zeugnissen, tabellarischen Darstellungen des
beruflichen Werdeganges, Lichtbild, Liste der Verffentlichungen und
wissenschaftlichen Arbeiten sowie mit Exemplaren der wichtigsten
Publikationen richten Sie bitte an:
 
Brandenburgische Technische Universitt Cottbus
Fakultt Mathematik, Naturwissenschaften und Informatik
Der Dekan
Postfach 101344 
03013 Cottbus

Bewerbungsschluss: 09.02.2006