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

Kennziffer 38024WE16
Einrichtung Institut für Softwaresysteme
Wertigkeit EG 13  TV-L 
Arbeitsbeginn 01.04.2025
Bewerbungsschluss 20.01.2025
Arbeitsumfang Vollzeit und befristet bis zum 31.3.2029

Gegenstand des Projekts sind Anpassungen hybrider Automaten, die aus der Beobachtung diskreter Ereignisse resultieren. Ziel ist, Entscheidungsverfahren zu formulieren, die diese Anpassungen formalisieren, und Algorithmen zu entwickeln, die die Entscheidungsverfahren effizient für Zustandsräume unendlicher Größe umsetzen. Die Algorithmen sollen implementiert, integriert und experimentell validiert werden.

IHRE AUFGABEN

• temporallogische Beschreibungen und Modellierungen
  
• Algorithmenentwurf und effiziente Implementierungen
  
• experimentelle Validierung im interdisziplinären Verbund
  
• Mitarbeit im Graduiertenkolleg CAUSE
  
• Unterstützung des Lehrangebotes
  

IHR PROFIL

Einstellungsvoraussetzung

• abgeschlossenes Hochschulstudium (Master oder vergleichbar), insbesondere der Fachrichtung Informatik
  
  

erforderliche Fachkenntnisse und persönliche Voraussetzungen

• vertiefte Kenntnisse in formaler Verifikation, insbesondere Model-Checking hybrider Systeme und Zeitautomaten
  
• Expertise in der formal-logischen Modellierung ingenieurswissenschaftlicher Anwendungen
  
• Exzellente Programmierkenntnisse
• Erfahrung im wissenschaftlichen Arbeiten
• vorherige Erfahrungen in der Lehre sind ein zusätzliches Plus
  

UNSER ANGEBOT

• ein Arbeitsplatz in einem interessanten, freundlichen und wertschatzenden Arbeitsumfeld
• flexible und familienfreundliche Arbeitsbedingungen
• Möglichkeit zum mobilen Arbeiten 30 Tage Urlaub pro Jahr (bei einer 5-Tage-Woche)
• umfassende Fort- und Weiterbildungsangebote
• Fitnessclub auf dem Campus sowie Sonderkonditionen in ausgewahlten Sport- und Fitnessclubs (Hochschulsport)
  
  

Im Mittelpunkt der Forschung, der Lehre und des Technologietransfers der TU Hamburg steht das Leitmotiv, Technik für die Menschen zu entwickeln. Hierbei versteht sich die TU Hamburg als familiengerechte und nachhaltig handelnde Universität mit hohem Leistungs- und Qualitätsanspruch, die in allen ihren Forschungsfeldern Exzellenz anstrebt. Interdisziplinarität, Innovation, Regionalität sowie Internationalität sind verpflichtende Grundlagen für unser Handeln.

Mit derzeit rund 8.000 Studierenden, 110 Professorinnen und Professoren sowie 1.650 Mitarbeitenden zeichnet sich die TU Hamburg durch kurze Entscheidungswege und eine enge Zusammenarbeit zwischen dem Präsidium, den Instituten, Studiendekanaten, Forschungsschwerpunkten und der Verwaltung aus. Wir identifizieren uns mit einer modernen Führungskultur und pflegen ein wertschätzendes Miteinander.

Haben Sie noch Fragen? Dann wenden Sie sich gerne an Prof. Dr. Sibylle Schupp, Tel.-Nr. +49 40 428 78 34 61, Email: schupp@tuhh.de

Die TUHH steht für Chancengleichheit sowie ein wertschätzendes und respektvolles Miteinander.