Image

Für das Institut Softwaresysteme an der Technischen Universität Hamburg suchen wir ab dem 01.10.2020 eine/ einen:

WISSENSCHAFTLICHE MITARBEITERIN bzw. WISSENSCHAFTLICHER MITARBEITER  (m/w/d)

Vollzeit auf 4 Jahre befristet. Die Vergütung erfolgt nach TV-L 13  .

Kenn-Nr.: H2090


IHRE AUFGABEN

  • Forschung im Bereich der formalen Verifikation
  • Wissenschaftliche Software für Model-Checking
  • Unterstützung des Lehrangebotes des Institutes für Softwaresysteme

IHR PROFIL

  • Mit überdurchschnittlichem Erfolg abgeschlossenes wissenschaftliches Hochschulstudium in Informatik-Ingenieurwesen mit Vertiefung in Informations- und Kommunikationstechnik
  • Vertiefte Kenntnisse in formaler Verifikation, insbesondere Laufzeitverifikation und Model-Checking von Echtzeitsystemen
  • Praktische Erfahrung in der Softwareentwicklung eingebetteter, vernetzter Systeme
  • Vorkenntnisse über Medizingeräte-Software

UNSER ANGEBOT

  • Wir bieten Ihnen die Möglichkeit zur wissenschaftlichen Qualifikation mit dem Ziel der Promotion

Auskünfte erteilen Ihnen gerne Sekretariat Professorin Schupp.

Alle Menschen haben die gleiche Chance: Chancengleichheit

Vereinbarung für ein wertschätzendes und respektvolles Miteinander, ist Bestandteil der gelebten Kultur an der TUHH

Wir freuen uns auf Ihre Online-Bewerbung bis zum 07.07.2020

Footer
Zurück zur Übersicht Online-Bewerbung