Wir suchen wissenschaftliche Mitarbeiter:innen und studentische Hilfskräfte! Bei Interesse E-Mail an: paula.herber@uni-muenster.de

Neben einer Stelle für einen wissenschaftlichen Mitarbeiter oder eine wissenschaftliche Mitarbeiterin an der WWU Münster bieten wir aktuell auch eine Stelle als PhD student im Rahmen des SAVES Projekts in der Formal Methods and Tool Group an der University of Twente. Zur Ausschreibung geht es hier.

Wissenschaftliche Mitarbeiterin / wissenschaftlicher Mitarbeiter (E 13 TV-L)

In der AG Embedded Systems am Institut für Informatik der Westfälischen Wilhelms-Universität Münster ist ab dem nächstmöglichen Termin befristet für zunächst drei Jahre eine Stelle einer wissenschaftlichen Mitarbeiterin/eines wissenschaftlichen Mitarbeiters Entgeltgruppe 13 TV-L zu besetzen. Die regelmäßige Arbeitszeit beträgt bei Vollbeschäftigung zurzeit 39 Stunden 50 Minuten wöchentlich. Stellenbesetzungen werden grundsätzlich auch in Teilzeit vorgenommen.

Ihre Aufgaben:

• Mit der Stelle ist die Durchführung eines Promotionsvorhabens verbunden.
• Mitarbeit in der Lehre in der AG „Embedded Systems“
• Forschung auf mindestens einem der folgenden Gebiete: Software Engineering für Eingebettete und Cyber-physische Systeme, Security in Cyber-physischen Systemen, Sicherheit in Intelligenten Systemen, Entwurfsautomatisierung, Testen und Verifikation, Modellbasierte Entwicklung, Hardware/Software Co-Design, Hybride Systeme

Unsere Erwartungen:

• Ein wissenschaftlicher Hochschulabschluss in Informatik oder verwandten Studiengängen (Universitätsabschluss: Diplom und / oder Master) ist erforderlich.
• Didaktische Fähigkeiten, Interesse an der Lehre und Interesse an der Qualitätssicherung von Eingebetteten Systemen werden vorausgesetzt.
• Ein sehr guter Abschluss ist erwünscht.
• Vertiefte und theoretisch fundierte Kenntnisse in mindestens einem der folgenden Gebiete sind wünschenswert: Software Engineering, Eingebettete Systeme, Security, Testautomatisierung, formale Methoden und Verifikation, Hardware/Software Co-Design, Intelligente Systeme, Hybride Systeme.

Die WWU tritt für die Geschlechtergerechtigkeit ein und strebt eine Erhöhung des Anteils von Frauen in Forschung und Lehre an. Bewerbungen von Frauen sind daher ausdrücklich erwünscht; Frauen werden bei gleicher Eignung, Befähigung und fachlicher Leistung bevorzugt berücksichtigt, sofern nicht in der Person eines Mitbewerbers liegende Gründe überwiegen.

Die WWU hat sich zum Ziel gesetzt, mehr Menschen mit Beeinträchtigung zu beschäftigen. Bei gleicher Qualifikation werden Bewerber*innen mit anerkannter Schwerbehinderung bevorzugt eingestellt.

Ihre Bewerbung mit den üblichen Unterlagen senden Sie bitte per E-Mail an Prof. Dr. Paula Herber (paula.herber@uni-muenster.de).

Studentische Hilfskräfte

Wir suchen studentische Hilfskräfte für die Unterstützung in Forschung und Lehre. Ausschreibung und Festlegung des Beschäftigungsumfangs erfolgen nach Absprache.

Aufgabenbereich

Weiterentwicklung von Werkzeugen, die in Forschung und Lehre verwendet werden (z.B. STATE, Simulink2dL)

Voraussetzungen

Sehr gute Programmierkenntnisse in Java, wünschenswert wären Kenntnisse von SystemC, Simulink, Uppaal, UCLID, CPAchecker und/oder KeYmaera X.