Logic List Mailing Archive

W2 Professorship in Formal Methods, Koblenz (Germany), Deadline: 22 Feb 2010

Universitt Koblenz-Landau

Im Fachbereich 4: Informatik am Campus Koblenz ist am Institut fr 
Informatik eine
Professur (W2) fr Formale Methoden und Theoretische Informatik
Kennziffer 11/2010

zu besetzen.

Aufgaben:
Die Bewerberinnen/Bewerber sollen in Forschung und Lehre im Bereich der 
formalen Methoden hervorragend ausgewiesen sein. Die Schwerpunkte 
bisheriger Arbeiten sollten dabei in der Analyse und Verifikation von 
Softwaresystemen oder deren Entwicklung sowie Evolution auf der Basis 
formaler Spezifikationen liegen.

Die Universitt will mit dieser Berufung insbesondere auch den 
Forschungsschwerpunkt ADAPT: Modeling and Analyzing Software Adaptation 
(adapt.uni-koblenz.de) weiter strken. Von Bewerberinnen/Bewerbern wird
 
Bereitschaft und Interesse erwartet, sich in dieser Richtung aktiv zu 
beteiligen.

Eine angemessene Beteiligung an der Ausbildung im Grund- und Hauptstudium
 
der Informatik-Studiengnge, insbesondere im Bereich der Theoretischen 
Informatik, wird vorausgesetzt.

Einstellungsvoraussetzungen:
Es gelten die Einstellungsvoraussetzungen des Hochschulgesetzes (HochSchG)
 
des Landes Rheinland-Pfalz. Vorausgesetzt werden ein erfolgreich 
abgeschlossenes Studium an einer Universitt oder vergleichbaren 
Hochschule, ausgenommen mit einem Bachelorgrad, oder ein Masterabschluss,
 
eine qualifizierte Promotion in Informatik, pdagogische Eignung sowie 
zustzliche wissenschaftliche Leistungen ( 49 HochSchG). Die zustzl
ichen 
wissenschaftlichen Leistungen knnen auch durch eine Habilitation 
nachgewiesen werden ( 122 HochSchG). Weitere Voraussetzung fr 
Professuren in Lehramtsstudiengngen ist in der Regel der Nachweis einer
 
mindestens dreijhrigen Schulpraxis.

Das Land Rheinland-Pfalz und die Universitt Koblenz-Landau vertreten ein
 
Konzept der intensiven Betreuung der Studierenden und erwarten deshalb 
eine hohe Prsenz der Lehrenden an der Universitt.

Frauen werden bei gleichwertiger Eignung, Befhigung und fachlicher 
Leistung bevorzugt bercksichtigt, soweit und solange eine 
Unterreprsentanz vorliegt. Dies gilt nicht, wenn in der Person eines 
Bewerbers so schwerwiegende Grnde vorliegen, dass sie auch unter 
Beachtung des Gebotes zur Gleichstellung der Frauen berwiegen.

Schwerbehinderte Bewerber/-innen werden bei gleicher Qualifikation 
bevorzugt eingestellt (Nachweis ber die Schwerbehinderung erforderlich).

Bewerber/-innen senden bis zum 22.02.2010 ihre Bewerbung mit den 
Unterlagen (Lebenslauf mit wissenschaftlichem Werdegang, Zeugnisse, 
Schriftenverzeichnis, Verzeichnis der bisher durchgefhrten 
Lehrveranstaltungen) unter Angabe der Kennziffer 11/2010 an den
Prsidenten der
Universitt Koblenz-Landau

Prsidialamt
Isaac-Fulda-Allee 3
55124 Mainz


http://www.uni-koblenz-landau.de

Bewerbungsschluss: 22.02.2010