PhD Position in Software Verification

University of Luxembourg

Luxembourg, Luxembourg

il y a 6h

source : Academic Media Group International AB

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!

Your Role

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) :

statistical model checking

improving verification with deep learning

completeness and consistency of formal specifications

verification for variability-intensive software systems

verification for cyber-physical systems

verification for AI systems

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

Maxime Cordy : supervisor

Yves Le Traon : head of SerVal

You Will Be Required To Perform The Following Tasks

Carrying out research in the predefined areas

Survey the scientific literature in the relevant research domains

Disseminating results through scientific publications

Communicate with the partner to collect requirements and report results

Implement proof-of-concept software tools

Your Profile

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 :

Formal verification

Model checking

Temporal logic

Software engineering

Machine learning and AI

Decidability and complexity

Strong software development skills are mandatory.

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

Here’s what awaits you at SnT

A stimulating learning environment. Here post-docs and professors outnumber PhD students. That translates into access and close collaborations with some of the brightest ICT researchers, giving you solid guidance

Exciting infrastructures and unique labs. At SnT’s two campuses, our researchers can take a walk on the moon at the LunaLab, build a nanosatellite, or help make autonomous vehicles even better

The right place for IMPACT. SnT researchers engage in demand-driven projects. Through our

Signaler cette offre d'emploi

Thank you for reporting this job!

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