Stellenausschreibung WiMi Deklarative Programmiersprachen

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Thu, 29 Sep 2016 17:32:00 +0200

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

Am Institut für Informatik der Christian-Albrechts-Universität zu Kiel
ist zum 1. Januar 2017 die Stelle einer/eines

  wissenschaftlichen Mitarbeiterin/Mitarbeiters
       mit Zielrichtung Promotion

für die Dauer von drei Jahren 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)
- Entwurf deklarativer Programmiersprachen (z.B. Typkonzepte, Modularität)
- Implementierung deklarativer Programmiersprachen
- Analyse und partielle Verifikation von Programmen
- Programmierumgebungen und Anwendung deklarativer Programmiersprachen

Die Christian-Albrechts-Universität ist bestrebt, den Anteil von
Wissenschaftlerinnen in Forschung und Lehre zu erhöhen und fordert
deshalb 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 schwerbehinderter
Menschen ein. Daher werden schwerbehinderte Bewerberinnen
und Bewerber bei entsprechender Eignung bevorzugt
berücksichtigt.

Ausdrücklich begrüßen wir es, wenn sich Menschen mit Migrationshintergrund
bei uns bewerben.

Bewerbungen mit den üblichen Unterlagen (auf die Vorlage von
Lichtbildern/Bewerbungsfotos verzichten wir ausdrücklich und
bitten daher, hiervon abzusehen) - gerne elektronisch - sind
möglichst bis zum 15. Oktober 2016 zu richten an:

  Prof. Dr. Michael Hanus
  Institut für Informatik
  Christian-Albrechts-Universität 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 Thu Sep 29 2016 - 17:32:41 CEST

This archive was generated by hypermail 2.3.0 : Sun Sep 23 2018 - 07:16:02 CEST