Banner
An der Hochschule RheinMain ist im Fachbereich Design Informatik Medien folgende Stelle zu besetzen:

Wissenschaftlicher Mitarbeiter / Wissenschaftliche Mitarbeiterin (m/w/d) Systemsoftware-Verifikation für RISC-V

Ihre Aufgaben

  • Mitarbeit bei der Durchführung von Forschungstätigkeiten in den Bereichen Betriebssysteme, eingebettete Systeme und formale Verifikation, insbesondere unter Einsatz der RISC-V Architektur
  • Analyse von Lösungsansätzen zum formalen Nachweis der Freiheit von Laufzeitfehlern sowie von Einbruchstoren in Systemsoftware mithilfe der abstrakten Interpretation
  • Übertragung solcher Ansätze auf andere Rechnerarchitekturen

Ihr Profil

  • Abgeschlossenes Hochschulstudium in Informatik (Master, Uni-Diplom)
  • Breite, umfassende und über die Studieninhalte hinausgehende Detailkenntnisse in den Bereichen der hardwarenahen Programmierung auf Betriebssystemkern-Ebene sowie tiefgehende Kenntnisse der RISC-V-Architektur
  • Fähigkeit, sich schnell und umfassend in die informationstechnischen Fachgebiete der Programmverifikation - insbesondere abstrakter Interpretation - einzuarbeiten

Wir bieten

  • Maßgebliche Mitwirkung beim Aufbau eines neuen Forschungsteams; ggf. Möglichkeit zur Weiterqualifikation im Rahmen zu beantragender Folgeprojekte
  • Flexible, familienfreundliche Arbeitszeitregelungen
  • Kinderzulage
  • Landesticket Hessen zur kostenfreien Nutzung des ÖPNV
  • Umfangreiche und vielseitige Aus- und Fortbildungsmöglichkeiten
  • Betriebliches Gesundheitsmanagement und ein vielfältiges Hochschulsportangebot
  • Eine betriebliche Altersvorsorge im Rahmen der VBL
  • Wertschätzende Umgangskultur in einem aufgeschlossenen und leistungsbereiten Team

Dienstort ist Wiesbaden. Die Bereitschaft zum Einsatz an allen Standorten der Hochschule wird erwartet.

Wir freuen uns auf Ihre Bewerbung über unser Online-Bewerbungsportal.

Umfang: 100 %
Befristung: gemäß § 14 Abs. 1 TzBfG befristet bis 31.03.2022
Vergütung: E 13 TV-Hessen
Kenn­ziffer: DCSM-M-28/21
Ein­tritt: frühestmöglich
Be­wer­bungs­frist: 31.05.2021
Kontakt: Prof. Robert Kaiser robert.kaiser@hs-rm.de
Online-Bewerbung