Looking for research assistantship / wissenschaftliche Hilfskraft gesucht

Online seit
10.01.2019 - 10:08
Job-ID
HH-2019-01-10-227258
Jobtyp

Beschreibung

Looking for research assistantship / wissenschaftliche Hilfskraft gesucht

The Institute for Software Systems offers a research assistantship (German "wissenschaftliche Hilfskraft") to contribute to a joint project with the Institute of Medical Technology (MTec) at TUHH and the University Medical Center Hamburg-Eppendorf (UKE).

Context of the project is an existing software architecture for a laser robotic controller in a medical application at UKE. The software architecture is implemented on top of the well-known ROS ("robot operating system") from Stanford, which employs both event-based programming and the style of publish-subscribe messaging. The goal in this subproject is to prepare the architecture for a rigorous, formal validation.

The project provides the opportunity to learn about the issues of programming for robotic applications and to apply verification techniques in practice.

Prerequisites:
Candidates should have good software skills in C++ as well as interest and some experience in formal methods. Knowledge of operating systems or distributed systems is a plus but not required.

Start date, hours, duration:
February 1 or later; 30-85 hours per month; 6 months (extension possible).
Contact:
Candidates should send their resume to sts-office (at tuhh.de) or may contact Prof. Schupp. For contact information, see http://www.tuhh.de/sts.

 

Anforderungsprofil

Candidates should have good software skills in C++ as well as interest and some experience in formal methods. Knowledge of operating systems or distributed systems is a plus but not required.

Art der Beschäftigung

nach Vereinbarung

Kontaktdaten

Ansprechpartner
Frau Prof. Dr. Schupp Sibylle
Einsatzort
Am Schwarzenberg-Campus
3
21073 Hamburg
Deutschland
Telefon
+49 40 428783460

Weitere Informationen

Institut / Einrichtung
Institut für Softwaresysteme /
Zeitraum der Beschäftigung
nach Vereinbarung
Bewerbungsfristende
Donnerstag, 7. Februar 2019 - 23:59