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

Wir sind eine Universität mit Schwerpunkten in den Ingenieur- und Naturwissenschaften sowie Wirtschaftswissenschaft, Humanwissenschaften und Medizin. 13.000 Studierenden aus dem In- und Ausland sowie ca. 3.000 Beschäftigten bieten wir hervorragende Studien- und Arbeitsbedingungen.

Der Lehrstuhl für Software & Systems Engineering erforscht die Anwendung der Methoden des Software Engineerings in den vier Schwerpunktbereichen Robotik und Industrie 4.0, mobile Assistenzsysteme, Programmierparadigmen sowie sicherheitskritische Systeme. Speziell im Forschungsbereich der formalem Sicherheitsnachweise für sicherheitskritische Systeme ist eine Stelle zu besetzen. Forschungsschwerpunkte sind dabei:

• die mathematische fundierte Modelltransformation zwischen gängigen Ingenieur- sowie formalen Analysesprachen,
• die Anwendung formaler Analyseverfahren in der Sicherheitsnachweisführung und
• die Entwicklung und Implementierung fortschrittlicher Algorithmen im Bereich der formalen Verifikation.
  

Ihre Aufgaben:

• Mitarbeiten in den Forschungs- und Lehrbereichen des Lehrstuhls
• eigenständige Forschung und Mitarbeit in aktuellen Forschungsprojekten
• Mitgestaltung und Mit-Weiterentwicklung des Lehrstuhls für Software Engineering
• Mitwirkung in den Bereichen der akademischen Selbstverwaltung und -organisation

Ihr Profil:

• abgeschlossene wissenschaftliche Hochschulausbildung (Diplom/Master) im Bereich der Informatik oder aus dem ereich der Mathematik oder einer Ingenieurwissenschaft mit jeweils informatikspezifischem Hintergrund
• fundierte Kenntnisse im Bereich des Software Engineering 
• Erfahrungen auf dem Gebiet der Modelltransformation
• Erfahrungen im Bereich SAT\SMT Checking und deren Anwendung für das Model Checking
• erste Erfahrungen im Bereich der modellbasierten Sicherheitsnachweisführung
• Programmierkenntnisse in min. einer verbreiteten Programmiersprache (z.B. C, C++, Java). Kenntnisse von weiteren Programmier-, Skript- oder Beschreibungssprachen sind von Vorteil
• die Fähigkeit, selbständig neue Wissensgebiete zu erschließen und daraus eigenständig Lösungsansätze für bislangungelöste Probleme zu entwickeln
• die Fähigkeit, effektiv im Team zu arbeiten und die Bereitschaft, sowohl eigene als auch fremde Ideen gemeinschaftlich kritisch zu diskutieren