Assistenzprofessur (W1) für Semantik und Verifikation paralleler Systeme (Kenn-Nr. 115)

Diese Professur wird im Rahmen des kürzlich bewilligten LOEWE-Schwerpunkts Software-Factory 4.0 (www.software-factory-4-0.de) geschaffen und soll diesen verstärken. Außerdem soll sie den Bereich Formale Methoden in der theoretischen Informatik und den Fachbereichsschwerpunkt Massiv Parallele Softwaresysteme komplementär stärken.

Gesucht wird eine Persönlichkeit, die in der Forschung im Bereich Semantik und Verifikation paralleler Systeme ausgewiesen ist und ihr Forschungsprofil in Zukunft mit innovativen Themen aus diesem Bereich ausweiten und vertiefen möchte.
Beispiele für relevante Themen sind

• Theorie nebenläufiger Systeme
• Konstruktion und Validierung schwacher Speichermodelle
• Formale Modellierung paralleler Systeme
• Programmanalysen für Programme mit Multi-threading
• Semantik paralleler Programmiersprachen
• Separation Logic
• Verifikation parallelisierter Programme

Von der zukünftigen Stelleninhaberin oder dem zukünftigen Stelleninhaber wird die Fähigkeit zur eigenständigen wissenschaftlichen Arbeit, nachgewiesen durch einschlägige Publikationen in internationalen Konferenzen und Zeitschriften, erwartet. Internationale Vernetzung und Erfahrung in der Einwerbung und Durchführung von Drittmittelprojekten sind wünschenswert. Außerdem wird die Fähigkeit und Bereitschaft zur disziplinären und interdisziplinären Zusammenarbeit mit anderen Arbeitsgruppen und die Mitwirkung bei der Ausgestaltung und Durchführung des LOEWE-Schwerpunkts erwartet.

Bewerberinnen/Bewerber müssen ein Hochschulstudium erfolgreich absolviert haben und promoviert sein. Die Dauer der wissenschaftlichen Tätigkeit nach der Promotion soll vier Jahre nicht überschreiten. Es gelten die Einstellungsvoraussetzungen des § 64 Abs. 3 Hessisches Hochschulgesetz (HHG). Die Assistenzprofessur ist ausgestaltet als Qualifikationsprofessur gemäß § 64 HHG. Tenure-Track ist nicht vorgesehen.

Die Einstellung erfolgt in einem Beamtenverhältnis auf Zeit für die Dauer von sechs Jahren. Die Besoldung erfolgt nach der W-Besoldung (Besoldungsgruppe W1 Hessisches Besoldungsgesetz). Eine vergleichbare Anstellung im Angestelltenverhältnis ist möglich.

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 Technische Universität Darmstadt ist als familiengerechte Hochschule zertifiziert und verfügt über ein Dual Career Programm.

Weitere Auskünfte erteilt: Prof. Dr. Heiko Mantel, Fachbereich Informatik, TU Darmstadt, Hochschulstraße 10, 64289 Darmstadt, E-Mail: mantel@cs.tu-darmstadt.de. Bewerbungen mit den üblichen Unterlagen (Lebenslauf, Zeugniskopien, Publikationsverzeichnis, Zusammenfassung bisheriger und geplanter Forschungs- und Lehrtätigkeiten, Sonderdrucke von 3-5 ausgewählten Veröffentlichungen) werden erbeten bis spätestens 22.04.18 (später eingehende Bewerbungen können berücksichtigt werden) an folgende Adresse: TU Darmstadt, Dekanat des Fachbereichs Informatik, Hochschulstraße 10, 64289 Darmstadt oder per E-Mail an: dekanat@informatik.tu-darmstadt.de

Bewerbungsfrist: 22. April 2018