Domenico Bianculli

The University of Luxembourg is offering a postdoctoral research position in Regulatory Compliance & Requirement Engineering within the Interdisciplinary Centre for Security, Reliability and Trust (SnT). The successful candidate will join the SVV research group, led by Prof. Domenico Bianculli, and collaborate with Dr. Sallam Abualhaija and co-tutors from the European Investment Bank (EIB) group, as part of the STAREBEI program. The SVV group specializes in the development of reliable, safe, and secure software systems, focusing on both requirements quality assurance and regulatory compliance, as well as software testing and runtime verification. The postdoc will conduct research in predefined areas, implement prototype tools, manage and contribute to national and international research projects, prepare project deliverables, disseminate results through publications and presentations, guide students, and participate in proposal drafting for new projects. The role requires a PhD in Computer Science, Informatics, or Software Engineering (obtained within the last 36 months), with expertise in requirements engineering, natural language processing, text mining, information extraction, machine learning, and document intelligence. Additional background in financial or regulatory technologies, model-driven engineering, and proficiency in Python is expected. Experience with Microsoft's AI and Power Platforms and information extraction from financial contracts or legal documents is advantageous. Candidates must have excellent English communication skills and be able to work independently in a diverse, international team. The position is a fixed-term contract for 12 months, full-time, with a gross annual salary of EUR 85,176. The University of Luxembourg offers a modern, dynamic, and international environment with high-quality equipment and strong ties to industry and European institutions. Applications should be submitted online via the university's HR system, including a CV and cover letter. Early applications are encouraged, and email applications will not be considered. The university is committed to gender parity, inclusion, and diversity.

The University of Luxembourg is seeking a postdoctoral researcher for a position in Regulatory Compliance & Requirement Engineering within the Interdisciplinary Centre for Security, Reliability and Trust (SnT). The SnT is a leading international research and innovation centre focused on secure, reliable, and trustworthy ICT systems and services. This postdoc opportunity is part of a collaborative research project with the European Investment Bank (EIB) group, supported by the STAREBEI program, and will be based in the SVV research group led by Prof. Domenico Bianculli. The SVV group specializes in the development and design of reliable, safe, and secure software systems, with research activities spanning requirements quality assurance, regulatory compliance, software testing, and runtime verification. The successful candidate will work closely with Prof. Domenico Bianculli, Dr. Sallam Abualhaija, and EIB co-tutors, contributing to research in predefined areas, implementing prototype tools, managing national and international research projects, preparing deliverables, and disseminating results through publications and presentations at international conferences and workshops. Additional responsibilities include providing guidance to PhD, MSc, and BSc students, organizing workshops and demonstrations, and participating in proposal drafting for industrial, national, and European projects. Applicants should hold a PhD in Computer Science, Informatics, or Software Engineering (obtained within the last 36 months) and demonstrate expertise in requirements engineering, natural language processing, text mining, information extraction, machine learning, and document intelligence. Desirable backgrounds include financial technologies, regulatory technologies, and model-driven engineering. Proficiency in Python is required, and experience with Microsoft's AI and Power Platforms is considered an asset. Experience with information extraction from financial contracts or legal documents is a significant advantage. Excellent written and verbal English communication skills are mandatory. The University of Luxembourg offers a modern, multilingual, and international research environment, with high-quality equipment and close ties to industry and European institutions. The position is a fixed-term contract for 12 months, full-time (40 hours/week), with a yearly gross salary of EUR 85,176. The university is committed to gender parity, inclusion, and diversity, and encourages early applications as they will be processed upon reception. To apply, candidates should submit their application online through the University of Luxembourg HR system, including a curriculum vitae and cover letter. Applications by email will not be considered. For further information about the SVV research group, visit this page . For application submission, use this link .

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 .

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.