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