Postdoc in Software Engineering for Cyber-physical Systems University of Luxembourg in Luxembourg

The University of Luxembourg, a leading international research university, is offering a postdoctoral position in Software Engineering for Cyber-physical Systems within the Interdisciplinary Centre for Security, Reliability and Trust (SnT). The successful candidate will join the SVV research group headed by Professor Domenico Bianculli and contribute to the FREELY project, funded by the Luxembourg National Research Fund (FNR). This project focuses on developing frequency-based specifications for verification and validation (V&V) activities in cyber-physical systems, in collaboration with the TrustCPS group at TU Wien.

The SVV group specializes in designing reliable, safe, and secure software systems, covering both upstream activities such as requirements quality assurance and architecture analysis, and downstream activities including software testing and runtime verification. The research environment is highly interdisciplinary, with strong links to industry and European institutions, and offers access to skilled staff and high-quality equipment.

Responsibilities include conducting research in predefined areas, implementing proof-of-concept solutions, empirically evaluating tools and methods, disseminating results through scientific publications, organizing project meetings (including off-site meetings in Vienna), guiding PhD, master, and bachelor students, and contributing to national and international research projects. The role also involves preparing project deliverables, presenting at international conferences, and assisting in research funding acquisition.

Applicants must hold a PhD in Computer Science, Informatics, Software Engineering, or a related field, with a strong publication record in relevant conferences and journals. Experience in software verification and validation, temporal logics, formal methods, runtime verification, specification inference, testing of cyber-physical systems, fault localization, failure explanation, or machine learning for software verification is highly desirable. Proficiency in a major programming language is an asset. Excellent written and verbal communication skills in English are required. Candidates should be proactive, analytical, and motivated to work in a diverse, international team.

The position is a fixed-term contract for 18 months, with a yearly gross salary of EUR 85,176. The University of Luxembourg offers a modern, dynamic, and inclusive atmosphere, with staff from over 90 countries and strong connections to the Luxembourg labour market and professional sectors. The campus provides excellent infrastructure and opportunities for collaboration with a wide range of partners.

To apply, candidates should submit their application online through the HR system, including a CV, cover letter, PhD diploma or expected defense date, transcript of university-level courses, and a list of publications. Early applications are encouraged as they will be processed upon reception. Applications by email will not be considered. The University of Luxembourg promotes an inclusive culture and encourages applications from individuals of all backgrounds.