Inhalt des Dokuments
Stellenangebot
Stud. Mitarbeiter/in im Forschungsprojekt MeMo (40h/Monat) gesucht
Ausschreibungskennziffer: 3435 T 16/10
Bewerbungsfrist: 26. März 2010
Das Fachgebiet Programmierung eingebetteter Systeme sucht eine studentische Hilfskraft für das Forschungsprojekt Methoden der Modellqualitätsanalyse(MeMo). Im Projekt MeMo werden Methoden und Verfahren für die Qualitätssicherung von Matlab/Simulink/Stateflow-Modellen für eingebettete Systeme auf Basis von statischen Analysen entwickelt. Das Projekt erfolgt in Zusammenarbeit mit zwei Berliner Unternehmen und wird von der Investititonsbank Berlin im Rahmen des Programms zur Förderung von Forschung, Innovationen und Technologien gefördert.
Aufgabengebiet
- Mitarbeit bei Konzeption und Implementierung eines Parsers für das Einlesen
von Matlab/Simulink/Stateflow-Modellen - Mitarbeit bei Konzeption und Implementierung von Analyse- und Slicingverfahren für Matlab/Simulink/Stateflow-Modelle
Anforderungen
- fundierte Java-Kenntnisse
- ausgeprägtes Interesse für Software-Qualitätssicherung
- Kenntnisse in mindestens einem der Gebiete
- modellbasierte Entwicklung von Software und Systemen, insbesondere Modellierung
mit Matlab/Simulink/Stateflow bzw. TargetLink - statische Programmanalysen, Slicingtechniken
- Kenntnisse aus dem Gebiet des Compilerbaus
- modellbasierte Entwicklung von Software und Systemen, insbesondere Modellierung
Die Stelle ist auf max. zwei Jahre befristet und ab sofort zu besetzen. Eine
Einstellung erfolgt vorbehaltlich der im Rahmen des Projektes zu erfüllenden Auflagen
seitens des Mittelgebers.Weitere Informationen zum Projekt erteilt die Leiterin des Fachgebiets
Frau Prof. Dr. Glesner.
Die schriftliche Bewerbung richten Sie bitte unter Angabe der Kennziffer mit den üblichen Unterlagen an den
Präsidenten der Technischen Universität BerlinInstitut für Softwaretechnik und Theoretische Informatik
Frau Prof. Dr. Glesner
Sekr. TEL 12-4
Ernst-Reuter-Platz 7
10587 Berlin
