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

STELLEN­AUSSCHREI­BUNG 119/2025

Die Otto-von-Guericke- Universität Magdeburg (OVGU) ist eine forschungsstarke, regional vernetzte und international orientierte Profiluniversität.

An der Fakultät für Informatik ist am Institut für Intelligente Kooperierende Systeme eine Stelle als

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

zu besetzen.

Entgelt­gruppe

13 TV-L

Ein­stellungs­datum

zum nächstmögl. Zeitpunkt

Befristung

3 Jahre

Arbeitszeit

50 %

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
  
  

Bei inhaltlichen Fragen zur ausgeschriebenen Stelle wenden Sie sich bitte an Herrn Prof. Dr. Frank Ortmeier unter Tel. 0391/67-52804 bzw. per E-Mail: frank.ortmeier(at)ovgu.de.

Sie profitieren von unseren Strukturen und Angeboten für Nachhaltigkeit, Diversität, Familienfreundlichkeit und Personalentwicklung. Unser Standort im Zentrum einer florierenden, belebten und familienfreundlichen Landeshauptstadt garantiert eine hohe Lebensqualität und vielfältige Freizeitmöglichkeiten. Weitere Informationen erhalten Sie unter www.ovgu.de/karriere.

Die Otto-von-Guericke-Universität Magdeburg ist Unterzeichnerin der Charta der Vielfalt. Ihre Bewerbung ist bei uns willkommen, unabhängig von Geschlecht, kultureller und sozialer Herkunft, Alter oder sexueller Orientierung. Bewerbungen von schwerbehinderten Menschen und ihnen Gleichgestellten werden bei gleicher Eignung, Befähigung und fachlicher Qualifikation bevorzugt berücksichtigt. Die Otto-von-Guericke-Universität Magdeburg setzt sich für die berufliche Gleichstellung von Frauen und Männern ein.

Bitte beachten Sie die Informationen zur Erhebung personenbezogener Daten unter: https://www.uni-magdeburg.de/Datenschutz_Bewerber.html

Ihre vollständige Bewerbung (Motivationsschreiben, Lebenslauf, Zeugnisse) senden Sie bitte bis zum 29. April 2025 über das Online-Bewerbungsportal.

www.ovgu.de

Otto-von-Guericke-Universität Magdeburg

Dezernat Personalwesen