Domenico Bianculli

This postdoctoral research associate position is offered within the Software Verification and Validation (SVV) research group at the University of Luxembourg, in collaboration with the European Investment Bank (EIB) group and supported by the STAREBEI program. The SVV group, led by Prof. Domenico Bianculli, specializes in the development and design of reliable, safe, and secure software systems. Their research spans requirements quality assurance, regulatory compliance, software testing, and runtime verification, with applications in fields such as space, FinTech, legal, automotive, and e-government. The successful candidate will work closely with Prof. Bianculli, Dr. Sallam Abualhaija, and EIB co-tutors, contributing to both national and international research projects. Responsibilities include conducting research in predefined areas, implementing prototype tools, managing projects, preparing deliverables, disseminating results through publications and conferences, guiding students, organizing workshops, and participating in proposal drafting for future projects. The position offers the opportunity to work in a dynamic, interdisciplinary environment at the Interdisciplinary Centre for Security, Reliability and Trust (SnT). Funding is provided through the STAREBEI program, though specific salary details are not listed. Applicants should have a PhD in computer science, software engineering, or a related field, with experience in software verification, validation, and related areas. Strong programming and collaborative skills are essential. For more information about the group and application procedures, candidates are encouraged to visit the SVV research group website.