Wiss. MA-Stelle Programmiersprachen/Formale Methoden

From: Voigtländer, Janis, Prof. Dr. <janis.voigtlaender_at_uni-due.de>
Date: Thu, 12 Jul 2018 12:31:53 +0000

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

Die Universität Duisburg-Essen sucht am Campus Duisburg in der Fakultät=
 für Ingenieurwissenschaften, Fachgebiet Formale Methoden der Informatik =
eine/n wissenschaftliche Mitarbeiterin/ wissenschaftlichen Mitarbeiter an U=
niversitäten (Entgeltgruppe 13 TV-L).

Der Aufgabenbereich umfasst die Forschung zu Themen der Programmiersprachen=
entwicklung, Techniken der Spezifikation und Verifikation, Programmsynthese=
 und Anwendungen etwa in der Programmierausbildung.

Des Weiteren wird Mitarbeit an der Vorbereitung und Durchführung von Lehr=
veranstaltungen in den Bereichen formale Grundlagen, Modellierung, Programm=
iersprachen und deren Implementierung, sowie die Übernahme von Verwaltung=
saufgaben erwartet.

Im Rahmen der Tätigkeit wird Gelegenheit zur wissenschaftlichen Weiterqua=
lifikation (Promotion) geboten.

Einstellungsvoraussetzungen sind ein überdurchschnittlich abgeschlossenes=
 wissenschaftliches Hochschulstudium von mindestens 8 Semestern, möglichs=
t in der Informatik oder Mathematik, Programmierkenntnisse, sowie gute Engl=
ischkenntnisse und die Fähigkeit, mathematisch formal zu arbeiten.

Vorkenntnisse in einem oder mehreren der folgenden Bereiche sind von Vortei=
l: Programmiersprachen, Semantik und Compilerbau, Deklarative Programmierun=
g, E-Learning.

Vertragsdauer: 3 Jahre

Arbeitszeit: 100 Prozent einer Vollzeitstelle

Bewerbungsfrist: 26.07.2018

Die Universität Duisburg- Essen verfolgt das Ziel, die Vielfalt ihrer Mit=
glieder zu fördern (s. http://www.uni-due.de/diversity). Sie strebt die E=
rhöhung des Anteils der Frauen am wissenschaftlichen Personal an und ford=
ert deshalb einschlägig qualifizierte Frauen nachdrücklich auf sich zu =
bewerben. Frauen werden nach Maßgabe des Landesgleichstellungsgesetzes be=
i gleicher Qualifikation bevorzugt berücksichtigt. Bewerbungen geeigneter=
 Schwerbehinderter und Gleichgestellter i. S. des §2 Abs. 3 SGB IX sind e=
rwünscht.

Bewerbungen mit den üblichen Unterlagen sind bitte in elektronischer Form=
 als pdf-Dokument und unter Angabe der Kennziffer 452-18 zu richten an Herr=
n Prof. Dr. Janis Voigtländer, Universität Duisburg-Essen, Fakultät f=
ür Ingenieurwissenschaften, Fachgebiet Formale Methoden der Informatik, E=
mail janis.voigtlaender_at_uni-due.de. Anfragen zur Stelle können vorab eben=
falls an diese Email-Adresse gestellt werden.


-- =

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 Jul 12 2018 - 15:05:28 CEST

This archive was generated by hypermail 2.3.0 : Wed Nov 21 2018 - 07:16:03 CET