Auf einen Blick
- Aufgaben: Führe innovative Forschung in Software Engineering für Cyber-physische Systeme durch.
- Unternehmen: Die Universität Luxemburg ist eine internationale Forschungsuniversität mit einem dynamischen, multikulturellen Umfeld.
- Vorteile: Attraktives Gehalt, moderne Ausstattung und ein unterstützendes Team.
- Weitere Informationen: Wachstumsorientierte Umgebung mit exzellenten Karrierechancen und interdisziplinärer Zusammenarbeit.
- Warum dieser Job: Gestalte die Zukunft der Technologie und arbeite an spannenden Projekten mit internationalem Einfluss.
- Qualifikationen: PhD in Informatik oder verwandten Bereichen, Erfahrung in Softwareverifikation und -validierung.
Das prognostizierte Gehalt liegt zwischen 85176 - 85176 € pro Jahr.
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 Proof-of-Concept-Lösungen
- 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 PhD-, 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 und sicherer Softwaresysteme.
Ihr Profil:
- Motivierter Kandidat, der unabhängig und effizient arbeiten kann
- Proaktiv bei der Lösung von Problemen
- Starke analytische Fähigkeiten
- Interesse an der Arbeit in einem internationalen Team mit multidisziplinärem Hintergrund
- Neugier und Bereitschaft, ständig Neues zu lernen
Qualifikation: PhD-Abschluss in Informatik, Softwaretechnik oder einem verwandten Bereich.
Erfahrung: Kenntnisse in einem oder mehreren der folgenden Themen: Softwareverifikation und -validierung, temporale Logiken, formale Methoden. Hintergrund in Themen wie Runtime-Verifikation und -Monitoring, Spezifikationsinferenz, Testen von cyber-physischen Systemen, Fehlersuche und Fehlerklärung, maschinelles Lernen 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 einer persönlichen und integrativen Atmosphäre. Ein außergewöhnliches Forschungsumfeld, unterstützt von qualifiziertem Personal und hochwertiger Ausstattung. Starke Verbindungen zu professionellen Sektoren und dem luxemburgischen Arbeitsmarkt.
Wie man sich bewirbt: Bewerbungen sollten Folgendes enthalten: 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 den Zielen übereinstimmen, PhD-Diplom oder ein Schreiben/Informationen, die das erwartete Verteidigungsdatum angeben, Transcript aller Module und Ergebnisse von Universitätskursen, Liste der Publikationen.
Frühe Bewerbungen werden dringend empfohlen, da die Bewerbungen nach Eingang bearbeitet werden. Bitte bewerben Sie sich ONLINE formal ü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.
Allgemeine Informationen:
- Vertragsart: Befristeter Vertrag 18 Monate
- Arbeitszeit: Vollzeit 40 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).
Postdoc in Software Engineering for Cyber-physical Systems Arbeitgeber: Université du Luxembourg
Die Universität Luxemburg ist ein hervorragender Arbeitgeber, der eine dynamische und inklusive Arbeitsatmosphäre bietet. Mit einem internationalen Team aus über 90 Ländern fördert die Universität nicht nur die persönliche und berufliche Weiterentwicklung ihrer Mitarbeiter, sondern bietet auch Zugang zu modernster Forschungsausstattung und starken Verbindungen zur Industrie. Die Möglichkeit, an innovativen Projekten im Bereich der Cyber-physical Systems zu arbeiten, macht diese Position besonders attraktiv für Forscher, die in einem kreativen und unterstützenden Umfeld tätig sein möchten.
