Wissenschaftlicher Mitarbeiter - Programmiersprachen und Software Engineering

Das Fachgebiet Reaktive Programmiertechnologie (Prof. Guido Salvaneschi) am Fachbereich Informatik der Technischen Universität Darmstadt bietet mehrere Stellen für wissenschaftliche Mitarbeiter an.

Die Stellen bieten eine ausgezeichnete Möglichkeit, an der Schnittstelle von Programmiersprachendesign und -implementierung, Software Engineering, Verteilten Systemen und Sicherheit zu forschen, wie beispielsweise:

- Entwurf neuer Programmiersprachen und Typsysteme

- Entwicklung von Sprachen und Middleware für verteilte Ereignisverarbeitung und Echtzeitanalyse

- Sprachbasierte Sicherheit basierend auf Informationsfluss

Die Projekte beinhalten sowohl die Arbeit an der Theorie als auch an der Implementierung, wobei die Gewichtung entsprechend dem Profil des Kandidaten angepasst werden kann, welches idealerweise die derzeitigen Gruppenmitglieder ergänzt. Gelegenheit zur Vorbereitung einer Promotion wird gegeben.

VORAUSSETZUNGEN

- Abgeschlossenes Hochschulstudium der Informatik oder Mathematik, oder einem vergleichbarem Fach.

Der ideale Kandidat hat Erfahrung im Bereich PL oder Software Engineering. Je nach Zielprojekt sind auch Kandidaten mit Erfahrungen in den Bereichen verteilter Systeme oder Sicherheit willkommen.

- Gute Englischkenntnisse in Wort und Schrift.

STELLENBESCHREIBUNG UND BEWERBUNG

Die Vergütung erfolgt nach dem Tarifvertrag für die Technische Universität Darmstadt (TV - TU Darmstadt), E13.

Bewerbungen im PDF-Format oder formlose Anfragen per E-Mail sind willkommen. Bitte fügen Sie [PhD Application] zum Betreff der E-Mail hinzu. Bewerbungen werden bis zur Besetzung der Stellen berücksichtigt. Der Starttermin ist verhandelbar.

Besuchen Sie unsere Webseite www.guidosalvaneschi.com oder kontaktieren Sie uns für weitere Informationen.

Die TU Darmstadt ist eine autonome Universität mit breiter Forschungsexzellenz, interdisziplinärem Profil und klaren Schwerpunkten in den Ingenieurwissenschaften und der Informations- und Kommunikationstechnologie. Der Fachbereich Informatik ist ein Leistungsträger der TU Darmstadt in Forschung und Lehre und in einschlägigen bundesweiten Rankings regelmäßig in der Spitzengruppe zu finden.

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.