About the SnT... 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 Disseminating results through scientific publications in top software engineering and formal methods venues Communicate with industry partners to collect requirements and report results Implement proof of concept software tools Prepare research proposals to acquire public fundings and/or industry partnerships Manage research projects and prepare project deliverables Provide guidance to PhD students working in the same area For further information, please contact us at or Your Profile... The candidate should possess a PhD degree in Computer Science (software engineering, formal methods or related fields) with strong programming skills and an excellent publication record (including in top tier conferences). The group appreciates commitment, critical mind, and teamwork. 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 Cyber physical system Decidability and complexity Language Skills: Fluent written and verbal communication skills in English are required. Here''s what awaits you at SnT... Exciting infrastructures and unique lab