PhD Position in Analysis and Verification of Variability-Intensive Software Systems
University of Luxembourg
Luxembourg, Luxembourg
il y a 55m
source : Euraxess

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, 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
  • 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.

    Offer :

    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.

    Signaler cette offre d'emploi

    Thank you for reporting this job!

    Your feedback will help us improve the quality of our services.

    Mon email
    En cliquant sur « Continuer », je consens au traitement de mes données et à recevoir des alertes email, tel que détaillé dans la Politique de confidentialité de neuvoo. Je peux retirer mon consentement ou me désinscrire à tout moment.
    Formulaire de candidature