Doctoral Researcher in Cyber-physical Software Engineering University of Luxembourg in Luxembourg

The University of Luxembourg, a leading international research university, offers a PhD position in Cyber-physical Software Engineering within the Interdisciplinary Centre for Security, Reliability and Trust (SnT). The position is part of the FREELY project, funded by the Luxembourg National Research Fund (FNR), focusing on frequency-enhanced verification and validation (V&V) of cyber-physical systems. The research aims to develop innovative methods and techniques for frequency-based specifications in V&V activities, contributing to the reliability, safety, and security of software systems.

The successful candidate will join the SVV research group, headed by Professor Domenico Bianculli, and collaborate with the TrustCPS group at TU Wien. The SVV group specializes in requirements quality assurance, architecture analysis, software testing, and runtime verification. The role involves carrying out research in predefined areas, implementing proof-of-concept solutions, empirically evaluating tools, disseminating results through scientific publications, and presenting at international conferences. Additional responsibilities include organizing project meetings (including in Vienna), guiding master and bachelor students, and preparing project deliverables and reports.

Applicants should possess a Master degree or equivalent in Computer Science, Informatics, Software Engineering, or a related field. Ideal candidates will have knowledge in runtime verification and monitoring, formal methods, testing of cyber-physical systems, or machine learning for software verification. Strong programming skills, critical thinking, and teamwork abilities are essential. Language requirements include at least B2-level proficiency in the language of the thesis, with accepted certificates as specified by the university.

The University of Luxembourg provides a modern, dynamic, and inclusive research environment, with staff from over 90 countries and strong links to professional sectors and the Luxembourg labour market. The position offers a fixed-term contract of 36 months, full-time (40 hours per week), with a yearly gross salary of EUR 43445. The university promotes an inclusive culture and encourages applications from individuals of all backgrounds.

To apply, candidates should submit their application online through the HR system, including a CV, cover letter, transcript, and names/contact information of 1-2 referees. Early application is encouraged, as applications are processed upon reception. Applications by email will not be considered. For further information about the SVV group, visit https://www.uni.lu/snt-en/research-groups/svv.