Wissenschaftliche/r Mitarbeiter/in (w/m/d)

Internet of Production

Anbieter

Lehrstuhl für Informatik 11 (Embedded Software)

Unser Profil

Der Lehrstuhl Informatik 11 – Embedded Software forscht unter der Leitung von Prof. Dr.-Ing. Stefan Kowalewski an Entwurfs- und Analysemethoden für software-gesteuerte technische Systeme, insbesondere in sicherheitskritischen Anwendungen in den Bereichen Automotive/Mobilität, Industrieautomatisierung und Medizintechnik. Unsere methodischen Schwerpunkte sind modellbasierte Entwicklung, Verifikations- und Testverfahren sowie echtzeitfähige Steuerungsplattformen. Neben öffentlich geförderten Grundlagenprojekten bildet die Auftragsforschung mit Industrie-Unternehmen einen Hauptteil unserer Arbeit. Die ca. 20 wissenschaftlichen Mitarbeitenden des Lehrstuhls haben Abschlüsse in Informatik, Elektrotechnik, Automatisierungstechnik und Maschinenbau.

Sie werden bei uns in der Gruppe Formale Methoden für Reaktive Systeme (Leitung: Marcus Völker) mitarbeiten, in der Algorithmen zur Analyse und Verifikation von reaktiver Software erforscht werden. Unser Anwendungsbereich ist insbesondere die Sicherheit in der Industrieautomatisierung.

Weitere Informationen zum Lehrstuhl: https://embedded.rwth-aachen.de/

Ihr Profil

Sehr guter Hochschulabschluss (Master oder vergleichbar) in Informatik oder einer vergleichbaren Ingenieur- oder Naturwissenschaft; von Vorteil sind Kenntnisse auf dem Gebiet der Softwarearchitekturen und Programmierkenntnisse in C++; hohes Maß an Selbständigkeit, Engagement und Teamgeist; Freude an selbstständiger Arbeit in einem dynamischen, interdisziplinären Umfeld; sehr gute Englischkenntnisse in Wort und Schrift.

Ihre Aufgaben

An der RWTH besteht seit 2019 das Exzellenzcluster Internet of Production (https://www.iop.rwth-aachen.de/cms/~gpfz/Produktionstechnik/?lidx=1), in dem ein breites Spektrum von Fragestellungen zur Digitalisierung von Produktionsanlagen erforscht wird. Der Lehrstuhl Informatik 11 ist hier im Workstream A.III angesiedelt, der sich zentral mit der Entwicklung von Data-to-Knowledge Pipelines beschäftigt. Unser Part in diesem Workstream ist es, die von den Projektpartnern entwickelten industriellen Systeme zu analysieren und zu verifizieren, wozu wir auf den Anwendungsfall zugeschnittene Analysemethoden entwickeln, insbesondere auch in Hinblick auf die Kooperation zwischen Mensch und Maschine.

Im IoP sind Ihre Aufgaben:
Wissenschaftliche Forschungs- und Entwicklungsarbeiten zu Themen der Verifikation von industrieller Software; Mitarbeit am Analyse- und Verifikationstool "Arcade"; interdisziplinäre Zusammenarbeiten mit Projektpartner/innen; Präsentation und Publikation der Forschungsergebnisse in englischer Sprache.

Neben der Forschungstätigkeit erwarten wir von Ihnen im üblichen Maße Mitarbeit in der Lehre und der Selbstorganisation des Lehrstuhls.

Unser Angebot

Die Einstellung erfolgt im Beschäftigtenverhältnis.
Die Stelle ist zum 01.07.2023 zu besetzen und befristet auf 1 Jahr.
Eine Weiterbeschäftigung von mindestens 2 Jahren ist vorgesehen. Es besteht die Option, die Stelle um weitere 2 Jahre zu verlängern.
Die befristete Beschäftigung erfolgt im Rahmen der Befristungsmöglichkeiten des Wissenschaftszeitvertragsgesetzes.
Es handelt sich um eine Vollzeitstelle.
Eine Promotionsmöglichkeit besteht.
Die Eingruppierung richtet sich nach dem TV-L.
Die Stelle ist bewertet mit EG 13 TV-L.

Über uns

Die RWTH ist als familiengerechte Hochschule zertifiziert.
Die RWTH bietet im Rahmen eines Universitären Gesundheitsmanagements eine Vielzahl von Gesundheits-, Beratungs- und Präventionsangeboten (z. B. Hochschulsport) an. Für Tarifbeschäftigte und Beamtinnen und Beamte besteht ein umfangreiches Weiterbildungsangebot und die Möglichkeit, ein Jobticket zu erwerben.
Die Stellenausschreibung richtet sich an alle Geschlechter.
Wir wollen an der RWTH Aachen University besonders die Karrieren von Frauen fördern und freuen uns daher über Bewerberinnen.
Frauen werden bei gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt berücksichtigt, sofern sie in der Organisationseinheit unterrepräsentiert sind und sofern nicht in der Person eines Mitbewerbers liegende Gründe überwiegen.
Bewerbungen geeigneter schwerbehinderter Menschen sind ausdrücklich erwünscht.
Im Sinne der Gleichbehandlung bitten wir Sie, auf ein Bewerbungsfoto zu verzichten.
Informationen zur Erhebung personenbezogener Daten nach Artikeln 13 und 14 Datenschutz-Grundverordnung (DS-GVO) finden Sie unter https://www.rwth-aachen.de/dsgvo-information-bewerbung.

Bewerbung

Nummer:	V000005193
Frist:	30.06.2023
Postalisch:	RWTH Aachen University Lehrstuhl für Informatik 11 (Embedded Software) Marcus Völker Ahornstr. 55 52074 Aachen
E-Mail:	E-Mail schreiben Bitte beachten Sie, dass Gefährdungen der Vertraulichkeit und der unbefugte Zugriff Dritter bei einer Kommunikation per unverschlüsselter E-Mail nicht ausgeschlossen werden können.