University of Luxembourg

PhD Position in Analysis and Verification of Variability-Intensive Software Systems (m/f)

University of Luxembourg

Luxembourg, Luxembourg

The University of Luxembourg is a multilingual, international research university.

The Interdisciplinary Centre for Security, Reliability and Trust (SnT) invites applications from PhD candidates in the general area of analysis and verification of variability-intensive software systems. SnT is carrying out interdisciplinary research in secure, reliable and trustworthy ICT systems and services, often in collaboration with industrial, governmental or international partners.

The Centre is rapidly expanding its research activities and is seeking highly motivated PhD candidates who wish to pursue research in close cooperation with our partners. For further information you may check: and

PhD Position in Analysis and Verification of Variability-Intensive Software Systems (m/f)

Position Description:

As the successful candidate, you will join the Security, Reasoning and Validation (SeRVal) group of the SnT, under the supervision of Dr. Maxime Cordy. You will contribute more specifically to the BEEHIVE project, funded by Luxembourg National Research Fund. The topic of the project is “Behaviour-Induced Configuration of Variability-Intensive Systems” and it concerns the development of theories, techniques and tools to assess multiple variants/configurations of complex software systems efficiently. The involved analysis techniques include (but are not limited to): model checking, guided sampling, metaheuristics, simulations, prediction models (machine learning). The results of the project are expected to apply to multiple use cases, e.g., automotive systems, satellite, smart grids, smart factories, etc., in collaboration with partners of the group. Depending on your profile, the project can focus more on theory, development and/or applications. However, all three aspects are expected to be covered during the project.

The supervision team you will be working with is:

  • Dr. Maxime Cordy: research scientist, principal investigator
  • Prof. Yves Le Traon, head of SerVal, advisor

You will be required to perform the following tasks:

  • Carrying out research in the predefined areas
  • Disseminating results through scientific publications
  • Participating in research project proposal drafting
  • Assisting in the organization of relevant workshops

For further information, please contact us at

Qualification: The candidate should possess an MSc degree or equivalent in Computer Science, Applied Mathematics or a related area.

Experience: The ideal candidate should have some knowledge and/or experience in a number of the following topics:

  • Variability-intensive software systems (software product lines, configurable systems)
  • Model checking
  • Software engineering
  • Graph theory
  • Metaheuristics
  • Probability theory
  • Sampling and simulations
  • Embedded systems (automotive, satellite …)
  • Machine learning

Strong programming skills are required (working languages include Java, Python, C/C++).

Language Skills: Fluent written and verbal communication skills in English are required.

The University offers highly competitive salaries and is an equal opportunity employer. You will work in an exciting international environment and will have the opportunity to participate in the development of a newly created university.

Application should include:
• Full CV, including list of publications and name (and email address, etc) of three referees
• Transcript of all modules and results from university-level courses taken
• Research statement and topics of particular interest to the candidate (300 words)

All qualified individuals are encouraged to apply.
Deadline for applications: February 29th, 2020. Early submission is encouraged, applications will be processed upon arrival (regardless of the desired starting date).

Please apply via recruiter’s website.