Logic List Mailing Archive

Junior Professorship (W1) in Theoretical Computer Science, Kassel (Germany), Deadline: 14 Nov 2008

Universitt Kassel

Im Fachbereich Elektrotechnik/Informatik ist zum 01.04.2009 folgende 
Stelle zu besetzen

Juniorprofessur
fr Theoretische Informatik
(W 1)
Kennziffer 10868

befristet fr zunchst 3 Jahre mit der Mglichkeit der Verlngerung
 um 
weitere 3 Jahre nach positiver Zwischenevaluation in Forschung und Lehre.
 
Es besteht die Mglichkeit der anschlieenden Berufung auf eine W2 - 
Professur (tenure-track-Option).

Bewerber/innen sollen in
- Formale Methoden
- Verifikation
- Model Checking

oder einem verwandten Gebiet wissenschaftlich hervorragend ausgewiesen 
sein und das bestehende zweite Fachgebiet fr Theoretische Informatik 
komplementr ergnzen. Die Mitwirkung an einem fachbereichsbergreife
nden 
Schwerpunkt "IT-Security" ist erwnscht. Dies knnte etwa mit Beitrg
en 
zur Spezifikation, Modellierung und Verifikation groer Softwaresysteme,
 
eingebetteter Systeme, von Protokollen, Prozessen oder verteilten Systemen
 
erfolgen. Die Bereitschaft zu interdisziplinrer Zusammenarbeit wird 
erwartet.

Die Juniorprofessur soll sich am Lehrangebot der Theoretischen Informatik
 
in den Bachelor- und Master-Studiengngen der Informatik und anderer 
Studiengnge beteiligen. Zu den Aufgaben in der Lehre gehrt auch die
 
Einfhrungsveranstaltung "Informatik in den Ingenieurwissenschaften".

Einstellungsvoraussetzungen gem.  74 HHG; einschlgige Promotion in de
r 
Informatik oder Mathematik und erste Publikationserfolge; Lehrerfahrung 
ist erwnscht.

Bewerbungsfrist: 14.11.2008

Die Universitt Kassel ist im Sinne der Chancengleichheit bestrebt, Fraue
n 
und Mnnern die gleichen Entwicklungsmglichkeiten zu bieten und 
bestehenden Nachteilen entgegenzuwirken. Angestrebt wird eine deutliche 
Erhhung des Anteils von Frauen in Forschung und Lehre. Qualifizierte 
Frauen werden deshalb ausdrcklich aufgefordert, sich zu bewerben. 
Schwerbehinderte erhalten bei gleicher Eignung den Vorzug. Bewerbungen mit
 
aussagekrftigen Unterlagen sind unter Angebe der Kennziffer, gern auch i
n 
elektronischer Form, an den Prsidenten der Universitt Kassel, 34109
 
Kassel bzw. pvabt3@uni-kassel.de, zu richten.

Bewerbungsschluss: 14.11.2008