SnT is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services. We play an instrumental role in Luxembourg by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent.
We’re looking for people driven by excellence, excited about innovation, and looking to make a difference. If this sounds like you, you’ve come to the right place!
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 to research work in the area of Software Verification. Such research concerns the development of theories, techniques and tools to ensure that software systems behave according to their expected requirements. More specifically, the verification topics that may be explored include (but are not limited to):
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 with strong programming skills.
Experience: The ideal candidate should have some knowledge and/or experience in a number of the following topics:
Strong software development skills are mandatory.
Language Skills: Fluent written and verbal communication skills in English are required.
But wait, there’s more!
Students can take advantage of several opportunities for growth and career development, from free language classes to career resources and extracurricular activities.
Applications should be submitted online and include:
All qualified individuals are encouraged to apply.
Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. Applications by email will not be considered.
The University of Luxembourg embraces inclusion and diversity as key values. We are fully committed to removing any discriminatory barrier related to gender, and not only, in recruitment and career progression of our staff.
The University of Luxembourg aspires to be one of Europe’s most highly regarded universities with a distinctly international and interdisciplinary character. It fosters the cross-fertilisation of research and teaching, is relevant to its country, is known worldwide for its research and teaching in targeted areas, and is establishing itself as an innovative model for contemporary European Higher Education. The University`s core asset is its well-connected world-class academic staff which will attract the most motivated, talented and creative students and young researchers who will learn to enjoy taking up challenges and develop into visionary thinkers able to shape society.
|Titel||PhD Position in Software Verification|
|Employer||University of Luxembourg|
|Job location||6, rue Richard Coudenhove-Kalergi, L-1359 Luxembourg|
|Gepubliceerd||februari 23, 2021|
|Vakgebieden||Algoritmen,   Kunstmatige intelligentie,   Informatiesystemen (Bedrijfsinformatica),   Programmeertalen,   Softwaretechniek,   Machinaal Leren  |