Doctoral Researcher in Cyber-physical Software Engineering

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 master and bachelor students
• Organizing relevant workshops and demonstrations
• Preparing project deliverables and reports
• Presenting results in well-known international conferences and workshops

We offer a PhD 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

• The candidate should possess a Master degree or equivalent in Computer Science, Informatics, Software Engineering or a related field
• The ideal candidate should have some knowledge of one or more of the following topics:
  • Runtime verification and monitoring
  • Formal methods
  • Testing of Cyber-physical systems
  • Machine learning for software verification
• The candidate must possess strong programming skills
• The candidate should have critical thinking and team working skills

Language Requirements:

Applicants must demonstrate at least B2-level proficiency in the language of their thesis. For details and accepted certificates, please visit the Application for admission - Doctoral Candidates.

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 presenting your motivation for this doctoral thesis topic, and explaining how your qualifications and aspirations align with its academic focus
• Transcript of all modules and results from university-level courses taken
• Names, contact information and current position of 1-2 referees who can, upon request, provide an assessment of the application. Please indicate their relationship to you

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 36 Month
• Work Hours: Full Time 40.0 Hours per Week
• Location: Kirchberg Campus
• Internal Title: Doctoral Researcher
• Job Reference: UOL08233

The yearly gross salary for every Doctoral researcher at the UL is EUR 43445 (full time).