Stelle im Bereich Deklarative Programmiersprachen

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Tue, 15 Jun 2010 10:43:49 +0200

                         Stellenausschreibung
                         ====================

Am Institut fuer Informatik der Christian-Albrechts-Universitaet zu Kiel
ist zum 1. Oktober 2010 die Stelle einer/eines

  wissenschaftlichen Mitarbeiterin/Mitarbeiters mit Zielrichtung Promotion

fuer die Dauer von zunaechst zwei Jahren (mit Verlaengerungsmoeglichkeit
um weitere zwei Jahre) zu besetzen. Die Verguetung erfolgt nach
Entgeltgruppe 13 TV-L; die regelmaessige woechentliche Arbeitszeit
betraegt die einer/eines Vollbeschaeftigten (z.Z.\ 38,7 Stunden).

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

Aufgabengebiet:
---------------
Zum Aufgabenbereich gehoeren neben der Mitarbeit in der Lehre
(4 Lehrveranstaltungsstunden) vor allem die Forschung auf
dem Gebiet der deklarativen Programmiersprachen.

Moegliche Schwerpunkte sind:
- Integration programmiersprachlicher Konzepte
  (z.B. funktionale, logische, objektorientierte, nebenlaeufige Konzepte)
- Implementierung deklarativer Programmiersprachen
- Analyse und partielle Verifikation von Programmen
- Programmierumgebungen und Anwendung deklarativer Programmiersprachen

Die Universitaet ist bestrebt, den Anteil von Wissenschaftlerinnen
in Forschung und Lehre zu erhoehen und fordert deshalb
entsprechend qualifizierte Frauen nachdruecklich auf, sich zu
bewerben. Frauen werden bei gleichwertiger Eignung,
Befaehigung und fachlicher Leistung vorrangig beruecksichtigt.

Die Universitaet setzt sich fuer die Beschaeftigung schwer behinderter
Menschen ein. Daher werden schwer behinderte Bewerberinnen
und Bewerber bei entsprechender Eignung bevorzugt
beruecksichtigt.

Bewerbungen mit den ueblichen Unterlagen sind bis zum 3. Juli 2010
zu richten an:

  Prof. Dr. Michael Hanus
  Institut fuer Informatik
  Christian-Albrechts-Universitaet zu Kiel
  Christian-Albrechts-Platz 4
  24118 Kiel
  WWW: www.informatik.uni-kiel.de/~mh/
-- 
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_informatik.uni-kiel.de'.
To unsubscribe from (leave) this mailinglist, please go to this URL:
  https://lists.informatik.uni-kiel.de/mailman/listinfo/glp-list
Received on Di Jun 15 2010 - 10:44:39 CEST

This archive was generated by hypermail 2.3.0 : Do Mär 28 2024 - 07:16:02 CET