Stellenausschreibung (Promotionsstelle, 4 Jahre) - Formale Methoden, Modellierung, Deklarative Programmierung, Synthese, Data-Mining, ...

From: Voigtländer, Janis, Prof. Dr. <janis.voigtlaender_at_uni-due.de>
Date: Fri, 1 Apr 2022 10:14:01 +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:n Mitarbeiter:in (w/m/d) an Universitäten (Entg=
eltgruppe 13 TV-L).

Der Aufgabenbereich umfasst die Forschung zu Themen der Modellierung und de=
klarativen Spezifikation/Programmierung, Synthese von Beispielen und Reposi=
tory-Mining für edukative Anwendungen (E-Learning).

Des Weiteren werden Mitarbeit an der Vorbereitung und Durchführung von Le=
hrveranstaltungen des Fachgebiets sowie die Übernahme von Verwaltungsaufg=
aben 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 in der Info=
rmatik, sehr gute Programmierkenntnisse, sowie gute Englischkenntnisse und =
die Fähigkeit, formal präzise zu arbeiten.

Vorkenntnisse in mehreren der folgenden Bereiche sind von Vorteil: Logik, S=
oftwaremodellierung, Programmiersprachen, maschinelles Data-Mining, E-Learn=
ing.

Besetzungszeitpunkt: 01.06.2022

Vertragsdauer: 4 Jahre

Arbeitszeit: 100 Prozent einer Vollzeitstelle

Bewerbungsfrist: 28.04.2022

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 b=
ei gleicher Qualifikation bevorzugt berücksichtigt. Bewerbungen geeignete=
r Schwerbehinderter und Gleichgestellter i. S. des § 2 Abs. 3 SGB IX sind=
 erwünscht.

Bewerbungen mit den üblichen Unterlagen sind bitte in elektronischer Form=
 als pdf-Dokument und unter Angabe der Kennziffer 284-22 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 ebe=
nfalls an diese E-Mail-Adresse gestellt werden.

volle Ausschreibung unter: https://www.uni-due.de/imperia/md/content/stelle=
nmarkt/stellenangebote_an_universitaeten/wissenschaftliche_beschaeftigte_an=
_der_ude_oeffentlich/2020/aus_284-22_wiss._mit._ingwi_prof._voigtl%C3%A4nde=
r__jung_.pdf




--
You are receiving this message because you are a member of the
mailinglist 'glp-list_at_lists.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 Fr Apr 01 2022 - 13:47:03 CEST

This archive was generated by hypermail 2.3.0 : Do Jun 20 2024 - 07:16:03 CEST