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: www.securityandtrust.lu and http://wwwen.uni.lu/snt/research/serval
PhD Position in Analysis and Verification of Variability-Intensive Software Systems
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:
You will be required to perform the following tasks:
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:
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:
All qualified individuals are encouraged to apply.
Early submission is encouraged, applications will be processed upon arrival (regardless of the desired starting date).
Ref: RCREQ0003306, 50015368
For further information, please contact us at email@example.comApprenez-en davantage
|Intitulé||PhD Position in Analysis and Verification of Variability-Intensive Software Systems|
|Employer||University of Luxembourg|
|Job location||6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg|
|Publié||juillet 15, 2020|
|Date limite d'inscription||Non Spécifiée|
|Types d'emploi||PhD  |
|Domaines de recherche :||Algorithmes,   Systèmes d'information (informatique de gestion),   Langages de programmation,   Génie logiciel,   Analyses,   Mathématiques appliquées,   Théorie des probabilités,   Mathématiques informatiques,   Apprentissage automatique,   |