Stellenausschreibung

Am Institut für Informatik der Christian-Albrechts-Universität zu Kiel ist zum 01. April 2012 die Stelle einer/eines

wissenschaftlichen Mitarbeiterin/ Mitarbeiters mit Zielrichtung Promotion

für die Dauer von zunächst zwei Jahren (mit Verlängerungsmöglichkeit um weitere zwei Jahre) zu besetzen. Die Vergütung erfolgt nach Entgeltgruppe 13 TV-L; die regelmäßige wöchentliche Arbeitszeit beträgt die einer/eines Vollbeschäftigten (z.Zt. 38,7 Stunden).

Einstellungsvoraussetzungen:

Vorausgesetzt wird ein guter Abschluss (Diplom oder Master) eines wissenschaftlichen Hochschulstudiums (Universität oder TH) der Informatik oder einem benachbarten Fach oder ein vergleichbarer Abschluss. Kenntnisse im Bereich deklarativer Programmiersprachen sind erforderlich.

Aufgabengebiet:

Zum Aufgabenbereich gehören neben der Mitarbeit in der Lehre (4 Lehrveranstaltungsstunden) vor allem die Forschung auf dem Gebiet der deklarativen Programmiersprachen. Mögliche Schwerpunkte sind:

§ Integration programmiersprachlicher Konzepte (z.B. funktionale, logische, objektorientierte, nebenläufige Konzepte)

§ Implementierung deklarativer Programmiersprachen

§ Analyse und partielle Verifikation von Programmen

§ Programmierumgebungen und Anwendung deklarativer Programmiersprachen

Die Universität ist bestrebt, den Anteil von Wissenschaftlerinnen in Forschung und Lehre zu erhöhen und fordert entsprechend qualifizierte Frauen nachdrücklich auf, sich zu bewerben. Frauen werden bei gleichwertiger Eignung, Befähigung und fachlicher Leistung vorrangig berücksichtigt.

Die Hochschule setzt sich für die Beschäftigung schwer behinderter Menschen ein. Daher werden schwer behinderte Bewerberinnen und Bewerber bei entsprechender Eignung bevorzugt berücksichtigt.

Bewerbungen mit den üblichen Unterlagen sind bis zum 17. Februar zu richten an:

Prof. Dr. Michael Hanus

Institut für Informatik

Christian-Albrechts-Universität zu Kiel

Christian-Albrechts-Platz 4

24118 Kiel

http://www.informatik.uni-kiel.de/~mh/