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