Technische Universität Darmstadt

Wissenschaftliche/r Mitarbeiter/in im Bereich Softwareverifikation

Online seit
09.09.2019 - 14:36
Job-ID
DA-2019-09-09-274201
Kategorie

Beschreibung

An der Technischen Universität Darmstadt ist im Rahmen des LOEWE-Schwerpunkts Software-Factory 4.0 ab dem nächstmöglichen Zeitraum eine Stelle im Teilprojekt L Semantik und Verifikation paralleler Systeme als

Wiss. Mitarbeiterin/Mitarbeiter (m/w/d)

in einem zunächst bis zum 30.6.2020 befristeten Arbeitsverhältnis zu besetzen. Eine Weiterbeschäftigung über den 30.06.2020 hinaus ist höchst wahrscheinlich möglich.

Software-Factory 4.0 (www.software-factory-4-0.de) ist ein interdisziplinäres Forschungsprojekt von Informatikern, Informationstechnikern und Maschinenbauern. In Software-Factory 4.0 werden Methoden erforscht, die die Anpassung existierender Software an neue Anforderungen in erforderlicher Qualität leisten und dadurch eine schnellere Verfügbarkeit von benötigter Software ermöglichen sollen. Im Zentrum der Forschung stehen die Flexibilisierung und Parallelisierung von Software sowie die Vereinfachung des Reengineerings.

Gesucht wird eine wissenschaftliche Mitarbeiterin oder ein wissenschaftlicher Mitarbeiter für das Teilprojekt L in Software-Factory 4.0. Das Ziel von Teilprojekt L ist die funktionale Äquivalenz zwischen sequentiellem und parallelisiertem Programm zu prüfen. Dabei ist die Herausforderung die Vielzahl von parallelen Programm-ausführungen, die sich durch schwache Konsistenzgarantien moderner Multiprozessoren weiter vergrößert, für die Äquivalenzprüfung beherrschbar zu machen.

Als wissenschaftliche Mitarbeiterin oder wissenschaftlicher Mitarbeiter des Teilprojekts sind sie dem Fachgebiet Semantik und Verifikation paralleler Systeme (www.informatik.tu-darmstadt.de/svpsys) zugeordnet, das von der Assistenzprofessorin Prof. Dr. Marie-Christine Jakobs geleitet wird und sich im Allgemeinen mit formalen Methoden zur automatischen Verifikation von (parallelen) Programmen beschäftigt.

Wir bieten

  • Innovative Forschung in einem interdisziplinären Projekt

  • Intensive, persönliche Betreuung

  • Teilnahme an internationalen Fachkonferenzen

  • Vielfältige Qualifizierungsangebote (Ingenium, HDA, etc.)

  • Anstellung im öffentlichen Dienst vergütet nach TV TUD E 13 inklusive, kostenlosem Hessenticket

Gelegenheit zur Vorbereitung einer Promotion wird gegeben. Das Erbringen der Dienstleistung dient zugleich der wissenschaftlichen Qualifizierung der Bewerberin/des Bewerbers.

Die Technische Universität Darmstadt strebt eine Erhöhung des Anteils der Frauen am Personal an und fordert deshalb besonders Frauen auf, sich zu bewerben. Bewerberinnen oder Bewerber mit einem Grad der Behinderung von mindestens 50 oder diesen Gleichgestellte werden bei gleicher Eignung bevorzugt. Die Vergütung erfolgt nach dem Tarifvertrag für die Technische Universität Darmstadt (TV - TU Darmstadt). Teilzeitbeschäftigung ist grundsätzlich möglich.

Bitte senden Sie Ihre Bewerbung mit den üblichen Unterlagen (einschließlich Anschreiben, Lebenslauf und Kopien aller Zeugnisse) unter Angabe der Kennnummer 334 und des Teilprojekts L an: applications@software-factory-4-0.de.

Bewerbungen werden berücksichtigt bis die Stelle besetzt ist.

Anforderungsprofil

  • Sehr guter Master Abschluss in Informatik oder vergleichbarer Disziplin

  • Interesse an und Erfahrung mit formalen Methoden, vorzugsweise im Bereich Programmverifikation

  • Interesse an der Erforschung komplexer, wissenschaftlicher Fragestellungen, insbesondere zur Verifikation von Eigenschaften paralleler Programme

  • Erfahrung in der Entwicklung von Verfahren zur automatischer Softwareverifikation (abstrakte Interpretation, Datenflussanalyse, Softwaremodelchecking, etc.) sind von Vorteil.

  • Gute Programmierkenntnisse, idealerweise Java

  • Selbstständige, organisierte Arbeitsweise sowie Teamfähigkeit

  • Sehr gute Englischkenntnisse in Wort und Schrift

Kontaktdaten

Ansprechpartner
Frau Marie-Christine Jakobs
Einsatzort
Hochschulstraße
10
64289 Darmstadt
Deutschland
Telefon
+49 6151 1620920
E-Mail

Art der Beschäftigung

Vollzeit

Weitere Informationen

Institut / Einrichtung
Fachbereich Informatik, Fachgebiet Semantik und Verifikation paralleler Systeme
Zeitraum der Beschäftigung
vorerst befristet bis zum 30.06.2020
Bewerbungsfristende
Montag, 7. Oktober 2019 - 23:59

Vergütung

TV TUD E13