Postdoc in Software Engineering for Cyber-physical Systems

Postdoc in Software Engineering for Cyber-physical Systems

Bollendorf Befristet 85176 - 85176 € / Jahr (geschätzt) Kein Homeoffice möglich
Université du Luxembourg

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, Fahrzeugnetze und IKT-Dienste & Anwendungen beitragen.

Ihre Rolle:

  • Durchführung von Forschung in den vordefinierten Bereichen
  • Implementierung von Prototyp-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 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 Nationalen Forschungsfonds (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 vorgelagerte Aktivitäten wie Qualitätsprüfung von Anforderungen und Architekturanalysen als auch nachgelagerte Verifizierungs- und Validierungsaktivitäten wie Softwaretests und Laufzeitverifikation durch.

Ihr Profil:

  • 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 Interesse daran haben, 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

Kenntnisse in einer gängigen Programmiersprache werden 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: Bewerbungen sollten Folgendes enthalten:

  • Lebenslauf
  • Anschreiben, in dem Ihre Motivation für die Bewerbung auf das ausgeschriebene Forschungsthema und/oder Projekt dargelegt wird, einschließlich wie Ihr Hintergrund, Ihre Interessen und Karriereziele mit den Zielen ü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 FORMELL ONLINE ü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).

Postdoc in Software Engineering for Cyber-physical Systems Arbeitgeber: Université du Luxembourg

Die Universität Luxemburg bietet eine herausragende Arbeitsumgebung für Postdoktoranden im Bereich Software Engineering für cyber-physische Systeme. Mit einem internationalen und interdisziplinären Team, das aus über 90 Nationen stammt, fördert die Universität eine inklusive Kultur und bietet zahlreiche Möglichkeiten zur beruflichen Weiterentwicklung. Die enge Zusammenarbeit mit der Industrie und anderen Forschungseinrichtungen sowie die moderne Infrastruktur am Kirchberg-Campus machen die Universität zu einem attraktiven Arbeitgeber für innovative Forscher.

Université du Luxembourg

Kontaktdaten:

Université du Luxembourg Recruiting-Team

StudySmarter Expertenrat🤫

Wir sind der Meinung, dass Sie so Postdoc in Software Engineering for Cyber-physical Systems erhalten könnten

Netzwerken in der Entwicklerszene

Besuche lokale Meetups oder Hackathons in der Software-Entwicklung, um direkt mit Leuten aus der Branche in Kontakt zu treten. Dort hast du die Chance, nicht nur von anderen zu lernen, sondern auch persönliche Eindrücke bei potenziellen Arbeitgebern wie Université du Luxembourg zu hinterlassen.

Open Source Beiträge leisten

Engagiere dich in Open-Source-Projekten, um deine Fähigkeiten zu zeigen und für Université du Luxembourg sichtbar zu werden. Das ist nicht nur eine super Möglichkeit, praktische Erfahrungen zu sammeln, sondern auch eine tolle Möglichkeit, sich einen Namen in der Entwicklergemeinschaft zu machen.

Auf Praktikumsprogramme achten

Halte Ausschau nach spezifischen Programmen für befristete Stellen, die viele Unternehmen anbieten, um junge Talente zu fördern. Diese Fenster sind oft zeitlich begrenzt, also mach dich bereit, wenn die Bewerbungen öffnen, und verpasse nicht die Gelegenheit, dich bei Université du Luxembourg zu bewerben!

Portfolio aufbauen und sichtbar machen

Erstelle dir ein starkes Portfolio, das deine besten Projekte zeigt. Teile dieses Portfolio in Entwickler-Communities und auf Plattformen wie GitHub, damit Unternehmen wie Université du Luxembourg sofort sehen, was du kannst. Das steigert deine Chancen, in der Software-Entwicklung aufzufallen!

Wir glauben, dass du diese Fähigkeiten brauchst, um Postdoc in Software Engineering for Cyber-physical Systems mit Bravour zu bestehen

Analytische Fähigkeiten
Problemlösungsfähigkeiten
Kenntnisse in Softwareverifikation und -validierung
Temporale Logiken
Formale Methoden
Runtime-Verifikation und -Überwachung
Spezifikationsinferenz

Einige Tipps für deine Bewerbung 🫡

Dein GitHub ist dein bester Freund!:Für eine befristete Stelle in der Software-Entwicklung ist dein GitHub-Profil super wichtig. Zeig uns deine besten Projekte und deinen Code! Wenn du Seitenprojekte oder Beiträge zu Open-Source-Projekten hast, pack die unbedingt in deine Bewerbung, das gibt uns einen tollen Einblick in deine Fähigkeiten.

Skills, Skills, Skills!:Mach eine Liste deiner technischen Skills und Technologien, die du beherrschst. In der Software-Entwicklung ist es wichtig, diese klar und präzise in deinem Lebenslauf zu präsentieren. Liste Frameworks, Programmiersprachen und Tools auf, die du nutzt, und versichere dich, dass sie zum Job bei Université du Luxembourg passen!

Deine Motivation zeigt, dass du lernbereit bist:In deinem Anschreiben solltest du darauf eingehen, warum du dich für die befristete Stelle bei Université du Luxembourg interessierst und was du dir von der Erfahrung erhoffst. Heb hervor, wie diese Position dir helfen kann, deine Fähigkeiten zu verbessern und neue Technologien zu lernen.

Projektbesprechung und persönliche Note:Wenn du ein Portfolio hast, das deine Entwicklungsprojekte zeigt, füge das unbedingt an. Außerdem kannst du in deinem Anschreiben erwähnen, warum du gerade bei Université du Luxembourg arbeiten möchtest und wie du zur Unternehmenskultur passt. Das gibt uns einen persönlicheren Eindruck von dir als Bewerber!

Wie man sich auf ein Vorstellungsgespräch bei Université du Luxembourg vorbereitet

Code die Erwartungen!

Bei einem Interview in der Software-Entwicklung solltest du bereit sein, dein Coding-Know-how unter Beweis zu stellen. Mache dich mit typischen Coding-Challenges und Systemdesign-Fragen vertraut, die dir während des Interviews gestellt werden könnten. Vielleicht gibt es sogar Live-Coding-Sessions, also übe, deinen Denkprozess laut zu kommunizieren!

Bring dein Portfolio mit!

Auch wenn es sich um eine befristete Stelle handelt, ist es wichtig, deinem potenziellen Arbeitgeber dein Können zu zeigen. Stelle ein Portfolio mit deinen besten Projekten zusammen – idealerweise solche, die relevant für Université du Luxembourg sind. Denk daran, dass du nicht nur die Lösungen präsentieren solltest, sondern auch den Prozess und die Technologien, die du verwendet hast.

Sei flexibel und lernwillig!

Für befristete Stellen suchen Unternehmen oft nach Kandidaten, die schnell dazulernen können. Betone in deinem Interview deine Lernbereitschaft und vielleicht Beispiele, wie du in der Vergangenheit neue Technologien oder Programmiersprachen schnell beherrscht hast. Das zeigt, dass du gut ins Team passt und bereit bist, dich den Herausforderungen zu stellen.

Frage nach Team-Tools und Methoden!

Informiere dich über die Tools und Arbeitsmethoden, die das Team bei Université du Luxembourg verwendet. Hast du Erfahrung mit agilem Arbeiten oder Tools wie Jira, Git oder Slack? Wenn du gezielt Fragen zu diesen Aspekten stellst, zeigst du dein Interesse an der Teamdynamik und wie du dich schnell einbringen kannst.