Stellenausschreibung Compilerbau / Software-Verifikation (CAU Kiel)

From: Michael Hanus <mh_at_informatik.uni-kiel.de>
Date: Fri, 15 Jan 2016 18:17:01 +0100

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

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

  wissenschaftlichen Mitarbeiterin/Mitarbeiters
       mit Gelegenheit zur Promotion

für die Dauer von drei Jahren zu besetzen. Die Vergütung erfolg=
t nach
Entgeltgruppe 13 TV-L. Die regelmäßige wöchentliche Arbeit=
szeit
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 vergleichba=
rer
Abschluss. Sehr gute Kenntnisse im Bereich Compilerbau sind erforderlich.=

Wünschenswert sind außerdem Kenntnisse in den Bereichen
Software Verifikation, deklarative und anwendungsspezifische
Programmiersprachen und Programmierung paralleler Rechner.
Die fließende Beherrschung der deutschen Sprache ist Voraussetzung,
darüber hinaus müssen gute Englischkenntnisse vorhanden sein.

Die Stelle wird aus dem BMBF-Projekt HPSV (Hochparallele
Software-Verifikation nebenläufiger Anwendungen in der Automobilindu=
strie)
finanziert.

Die 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 bevorzugt berücksichtigt.

Die Universität setzt sich für die Beschäftigung schwerbeh=
inderter
Menschen ein. Daher werden schwerbehinderte Bewerberinnen
und Bewerber bei entsprechender Eignung bevorzugt
berücksichtigt.

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

Bewerbungen mit den üblichen Unterlagen (auf die Vorlage von
Lichtbildern/Bewerbungsfotos verzichten wir ausdrücklich und
bitten daher, hiervon abzusehen) sind *bis zum 31. Januar 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 Fri Jan 15 2016 - 18:43:28 CET

This archive was generated by hypermail 2.3.0 : Thu Feb 22 2018 - 07:16:03 CET