Postdoc in Software Engineering for Cyber-physical Systems

About us

The University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character.

The Interdisciplinary Centre for Security, Reliability and Trust (SnT) at the University of Luxembourg is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services.

We play an instrumental role in Europe by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent. We look for researchers from diverse academic backgrounds to contribute to our projects in areas such as: Network Security, Information Assurance, Model-driven Security, Cloud Computing, Cryptography, Satellite Systems, Vehicular Networks, and ICT Services & Applications.

Your role

• Carrying out research in the predefined areas
• Implementing proof-of-concept solutions
• Empirically evaluating the proposed solutions and tools
• Disseminating results through scientific publications
• Preparing and organizing project meetings, including off-site meetings in Vienna
• Providing guidance to PhD, master, and bachelor students
• Organizing relevant workshops and demonstrations
• Preparing project deliverables and reports
• Presenting results in well-known international conferences and workshops
• Contributing to the acquisition of research funding
• Managing and contributing to national and international research projects

We offer an attractive research associate position in the context of the FREELY (Frequency-enhanced verification and validation of CPS) project, funded by the Luxembourg National Research Fund (FNR). The project aims to develop methods and techniques for enabling the use of frequency-based specifications in V&V activities for cyber-physical systems. The project will be carried out in collaboration with the TrustCPS group of TU Wien (led by prof. Ezio Bartocci).

The successful candidate will join the SVV research group headed by Prof. Domenico Bianculli and will report to the latter (PI of the project). The team focuses on the development and design of reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to https://www.uni.lu/snt-en/research-groups/svv

Your profile

We are looking for a motivated candidate who can work independently and efficiently, is proactive in solving problems, and has strong analytical skills. The candidate should be interested in working in an international team with a multi-disciplinary set of backgrounds, where sharing resources and teamwork is essential. Most importantly, the candidate should be curiosity driven and willing to constantly learn new things!

Qualification: PhD degree in Computer Science, Informatics, Software Engineering, or a related field.

Experience:

• Knowledge (supported by a sound publication track record in relevant international conferences and top journals) of one or more of the following topics:
  • Software Verification and Validation
  • Temporal logics
  • Formal methods
• Background in any of the following topics:
  • Runtime verification and monitoring
  • Specification inference
  • Testing of Cyber-physical systems
  • Fault localization and failure explanation
  • Machine learning for software verification
• Proficiency in a major programming language will be considered as an asset

Language Skills: Excellent written and verbal communication skills in English are required.

We offer

• A modern, dynamic university with a personal and inclusive atmosphere. Multilingual and international character. Staff coming from more than 90 countries. Member of The Guild of European Research Intensive Universities
• An exceptional research environment, supported by skilled staff and high-quality equipment. Strong links to professional sectors and the Luxembourg labour market. A unique urban campus with excellent infrastructure
• A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and a wide range of non-academic partners including ministries, local governments, associations, and NGOs

How to apply

Applications should include:

• Curriculum Vitae
• Cover letter detailing your motivation for applying to the advertised research topic and/or project, including how your background, interests, and career goals align with its objective
• PhD diploma or a letter/information indicating the expected defense date
• Transcript of all modules and results from university-level courses taken
• List of publications

Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. Applications by Email will not be considered.

All qualified individuals are encouraged to apply. In line with our values, the University of Luxembourg promotes an inclusive culture. We encourage applications from individuals of all backgrounds and are dedicated to upholding equality and respect for our employees and students.

General information:

• Contract Type: Fixed Term Contract 18 Month
• Work Hours: Full Time 40.0 Hours per Week
• Location: Kirchberg Campus
• Internal Title: Postdoctoral researcher
• Job Reference: UOL08232

The yearly gross salary for every Postdoctoral Researcher at the UL is EUR 85176 (full time).