Postdoc in Software Engineering for Cyber-physical Systems

Die Universität Luxemburg ist eine internationale Forschungsuniversität mit einem deutlich mehrsprachigen und interdisziplinären Charakter. Das Interdisziplinäre Zentrum für Sicherheit, Zuverlässigkeit und Vertrauen (SnT) an der Universität Luxemburg ist ein führendes internationales Forschungs- und Innovationszentrum für sichere, zuverlässige und vertrauenswürdige IKT-Systeme und -Dienste.

Wir suchen Forscher aus verschiedenen akademischen Hintergründen, die zu unseren Projekten in Bereichen wie Netzwerk-Sicherheit, Informationssicherheit, modellgetriebene Sicherheit, Cloud-Computing, Kryptographie, Satellitensysteme, Fahrzeugnetzwerke und IKT-Dienste & Anwendungen beitragen.

Ihre Rolle:

• Durchführung von Forschung in den vordefinierten Bereichen
• Implementierung von Machbarkeitsstudien
• Empirische Evaluierung der vorgeschlagenen Lösungen und Werkzeuge
• Verbreitung der Ergebnisse durch wissenschaftliche Publikationen
• Vorbereitung und Organisation von Projektbesprechungen, einschließlich off-site Besprechungen in Wien
• Bereitstellung von Anleitung für Doktoranden, Master- und Bachelor-Studierende
• Organisation relevanter Workshops und Demonstrationen
• Vorbereitung von Projektlieferungen und Berichten
• Präsentation von Ergebnissen auf bekannten internationalen Konferenzen und Workshops
• Beitrag zur Akquisition von Forschungsförderung
• Management und Beitrag zu nationalen und internationalen Forschungsprojekten

Wir bieten eine attraktive Position als Forschungsmitarbeiter im Rahmen des FREELY-Projekts (Frequency-enhanced verification and validation of CPS), das vom luxemburgischen Nationalfonds für Forschung (FNR) finanziert wird. Das Projekt zielt darauf ab, Methoden und Techniken zu entwickeln, um die Verwendung von frequenzbasierten Spezifikationen in V&V-Aktivitäten für cyber-physische Systeme zu ermöglichen.

Der erfolgreiche Kandidat wird der SVV-Forschungsgruppe unter der Leitung von Prof. Domenico Bianculli beitreten und an diesen berichten. Das Team konzentriert sich auf die Entwicklung und das Design zuverlässiger, sicherer Software-Systeme und führt sowohl upstream-Aktivitäten wie Qualitätsprüfung von Anforderungen und Architektur-Analyse als auch downstream-Verifikations- und Validierungsaktivitäten wie Softwaretests und Laufzeitverifikation durch.

Wir suchen einen motivierten Kandidaten, der selbstständig und effizient arbeiten kann, proaktiv Probleme löst und über starke analytische Fähigkeiten verfügt. Der Kandidat sollte daran interessiert sein, in einem internationalen Team mit einem multidisziplinären Hintergrund zu arbeiten, in dem Ressourcenteilung und Teamarbeit entscheidend sind. Am wichtigsten ist, dass der Kandidat neugierig ist und bereit ist, ständig Neues zu lernen!

Qualifikation: PhD-Abschluss in Informatik, Softwaretechnik oder einem verwandten Bereich.

Erfahrung:

• Kenntnisse (unterstützt durch eine fundierte Publikationshistorie in relevanten internationalen Konferenzen und Top-Journalen) in einem oder mehreren der folgenden Themen:
• Softwareverifikation und -validierung
• Temporale Logiken
• Formale Methoden
• Hintergrund in einem der folgenden Themen:
• Laufzeitverifikation und -überwachung
• Spezifikationsinferenz
• Testen von cyber-physischen Systemen
• Fehlerlokalisierung und Fehlerklärung
• Maschinenlernen für Softwareverifikation
• Beherrschung einer wichtigen Programmiersprache wird als Vorteil angesehen.

Sprachkenntnisse: Ausgezeichnete schriftliche und mündliche Kommunikationsfähigkeiten in Englisch sind erforderlich.

Wir bieten:

• Eine moderne, dynamische Universität mit persönlicher und inklusiver Atmosphäre.
• Multilingualer und internationaler Charakter. Mitarbeiter aus mehr als 90 Ländern.
• Ein außergewöhnliches Forschungsumfeld, unterstützt von qualifiziertem Personal und hochwertiger Ausstattung.
• Starke Verbindungen zu professionellen Sektoren und dem luxemburgischen Arbeitsmarkt.
• Ein einzigartiger urbaner Campus mit hervorragender Infrastruktur.
• Ein Partner für Gesellschaft und Industrie.

Wie man sich bewirbt:

• Lebenslauf
• Anschreiben, das Ihre Motivation für die Bewerbung auf das ausgeschriebene Forschungsthema und/oder Projekt darlegt, einschließlich wie Ihr Hintergrund, Ihre Interessen und Karriereziele mit dessen Ziel übereinstimmen
• PhD-Diplom oder ein Schreiben/Informationen, die das erwartete Verteidigungsdatum angeben
• Transkript aller Module und Ergebnisse aus den besuchten Universitätskursen
• Liste der Publikationen

Frühe Bewerbungen werden dringend empfohlen, da die Bewerbungen bei Eingang bearbeitet werden. Bitte bewerben Sie sich ONLINE formell über das HR-System. Bewerbungen per E-Mail werden nicht berücksichtigt.

Alle qualifizierten Personen sind eingeladen, sich zu bewerben. Im Einklang mit unseren Werten fördert die Universität Luxemburg eine inklusive Kultur. Wir ermutigen Bewerbungen von Personen aller Hintergründe und setzen uns dafür ein, Gleichheit und Respekt für unsere Mitarbeiter und Studierenden zu wahren.

Allgemeine Informationen:

• Vertragsart: Befristeter Vertrag 18 Monate
• Arbeitszeiten: Vollzeit 40,0 Stunden pro Woche
• Standort: Kirchberg-Campus
• Interne Bezeichnung: Postdoktorand
• Stellenreferenz: UOL08232
• Das jährliche Bruttogehalt für jeden Postdoktoranden an der UL beträgt 85.176 EUR (Vollzeit).