Logic List Mailing Archive

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

Universit�t Koblenz-Landau

Im Fachbereich 4: Informatik am Campus Koblenz ist am Institut f�r 
Informatik eine
Professur (W2) f�r 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 Universit�t will mit dieser Berufung insbesondere auch den 
Forschungsschwerpunkt ADAPT: Modeling and Analyzing Software Adaptation 
(adapt.uni-koblenz.de) weiter st�rken. 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-Studieng�nge, 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 Universit�t oder vergleichbaren 
Hochschule, ausgenommen mit einem Bachelorgrad, oder ein Masterabschluss,
 
eine qualifizierte Promotion in Informatik, p�dagogische Eignung sowie 
zus�tzliche wissenschaftliche Leistungen (� 49 HochSchG). Die zus�tzl
ichen 
wissenschaftlichen Leistungen k�nnen auch durch eine Habilitation 
nachgewiesen werden (� 122 HochSchG). Weitere Voraussetzung f�r 
Professuren in Lehramtsstudieng�ngen ist in der Regel der Nachweis einer
 
mindestens dreij�hrigen Schulpraxis.

Das Land Rheinland-Pfalz und die Universit�t Koblenz-Landau vertreten ein
 
Konzept der intensiven Betreuung der Studierenden und erwarten deshalb 
eine hohe Pr�senz der Lehrenden an der Universit�t.

Frauen werden bei gleichwertiger Eignung, Bef�higung und fachlicher 
Leistung bevorzugt ber�cksichtigt, soweit und solange eine 
Unterrepr�sentanz vorliegt. Dies gilt nicht, wenn in der Person eines 
Bewerbers so schwerwiegende Gr�nde 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 durchgef�hrten 
Lehrveranstaltungen) unter Angabe der Kennziffer 11/2010 an den
Pr�sidenten der
Universit�t Koblenz-Landau

Pr�sidialamt
Isaac-Fulda-Allee 3
55124 Mainz


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

Bewerbungsschluss: 22.02.2010