Logic List Mailing Archive

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

Universit�t Kassel

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

Juniorprofessur
f�r Theoretische Informatik
(W 1)
Kennziffer 10868

befristet f�r zun�chst 3 Jahre mit der M�glichkeit der Verl�ngerung
 um 
weitere 3 Jahre nach positiver Zwischenevaluation in Forschung und Lehre.
 
Es besteht die M�glichkeit der anschlie�enden 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 f�r Theoretische Informatik 
komplement�r erg�nzen. Die Mitwirkung an einem fachbereichs�bergreife
nden 
Schwerpunkt "IT-Security" ist erw�nscht. Dies k�nnte etwa mit Beitr�g
en 
zur Spezifikation, Modellierung und Verifikation gro�er Softwaresysteme,
 
eingebetteter Systeme, von Protokollen, Prozessen oder verteilten Systemen
 
erfolgen. Die Bereitschaft zu interdisziplin�rer Zusammenarbeit wird 
erwartet.

Die Juniorprofessur soll sich am Lehrangebot der Theoretischen Informatik
 
in den Bachelor- und Master-Studieng�ngen der Informatik und anderer 
Studieng�nge beteiligen. Zu den Aufgaben in der Lehre geh�rt auch die
 
Einf�hrungsveranstaltung "Informatik in den Ingenieurwissenschaften".

Einstellungsvoraussetzungen gem. � 74 HHG; einschl�gige Promotion in de
r 
Informatik oder Mathematik und erste Publikationserfolge; Lehrerfahrung 
ist erw�nscht.

Bewerbungsfrist: 14.11.2008

Die Universit�t Kassel ist im Sinne der Chancengleichheit bestrebt, Fraue
n 
und M�nnern die gleichen Entwicklungsm�glichkeiten zu bieten und 
bestehenden Nachteilen entgegenzuwirken. Angestrebt wird eine deutliche 
Erh�hung des Anteils von Frauen in Forschung und Lehre. Qualifizierte 
Frauen werden deshalb ausdr�cklich aufgefordert, sich zu bewerben. 
Schwerbehinderte erhalten bei gleicher Eignung den Vorzug. Bewerbungen mit
 
aussagekr�ftigen Unterlagen sind unter Angebe der Kennziffer, gern auch i
n 
elektronischer Form, an den Pr�sidenten der Universit�t Kassel, 34109
 
Kassel bzw. pvabt3@uni-kassel.de, zu richten.

Bewerbungsschluss: 14.11.2008