PhD Candidate in Software and System Verification
vor 4 Wochen
The University of Luxembourg's Interdisciplinary Centre for Security, Reliability and Trust (SnT) is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services. We play a key role in Luxembourg by driving innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent.
Your RoleAs a PhD 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 the VARIANCE project, funded by the Luxembourg National Research Fund. The project focuses on the development of novel verification methods to effectively support the design process of cyber-physical systems. You will work on representing a large set of design alternatives in a concise model with a well-defined semantics and applying efficient verification techniques to assess the performance of these designs with regard to different indicators and objectives.
Key Responsibilities- Carrying out research in the predefined areas
- Surveying the scientific literature in the relevant research domains
- Disseminating results through scientific publications
- Communicating with stakeholders to collect requirements and report results
- Implementing proof-of-concept software tools
The ideal candidate should possess an MSc degree in computer science with strong programming skills and good knowledge of verification methods. Experience in most of the following topics is also desirable:
- Programming (ideally C/C++)
- 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
- A stimulating learning environment with access to top-notch research facilities
- Exciting opportunities for collaboration and knowledge sharing with international researchers
- A competitive salary package, including meal vouchers and health insurance
- Professional development opportunities and a chance to work on impactful projects
- A multicultural and inclusive work environment
To apply, please submit your application through the HR system, including your CV, research statement, and contact information for three referees. We look forward to receiving your application.
-
Research Associate
vor 4 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the University of LuxembourgThe University of Luxembourg is a modern and dynamic institution with a personal atmosphere, offering a unique urban site with excellent infrastructure. As a leading international research university, we foster a multilingual and interdisciplinary environment, with staff from over 90 countries.Our Research GroupThe...
-
Research Associate
vor 4 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the University of LuxembourgThe University of Luxembourg is a modern and dynamic institution with a personal atmosphere, offering a unique urban site with excellent infrastructure. As a leading international research university, we foster a multilingual and interdisciplinary environment, with staff from over 90 countries.Our Research GroupThe...
-
PhD in Space Applications
vor 4 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the University of LuxembourgThe University of Luxembourg 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...
-
PhD in Space Applications
vor 4 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the University of LuxembourgThe University of Luxembourg 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...
-
PhD Researcher in Educational Sciences
vor 2 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the RoleThe Université du Luxembourg is seeking a highly motivated PhD researcher to contribute to a Horizon Europe-funded project focused on early identification and remediation of literacy, numeracy, and social-emotional difficulties in kindergarten. The successful candidate will work in a committed team to develop and implement a multi-tiered...
-
Research Associate
vor 2 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the PositionThe Université du Luxembourg is seeking a highly motivated and outstanding researcher in the area of Experimental Test and Validation of 5G/6G Non-Terrestrial Networks and Satellite Communications for its Interdisciplinary Centre of Security and Trust (SnT), within the Signal Processing and Communications (SigCom) research group, led by...
-
PhD in Educational Sciences
vor 3 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the PositionThe Université du Luxembourg is seeking a highly motivated and qualified Doctoral Researcher to join our team in the Faculty of Humanities, Education and Social Sciences. As part of the HORIZON-Europe-funded project MTSS-K, we are looking for a researcher to contribute to the development and implementation of a Multi-Tiered System of...
-
Senior Software Engineer
vor 1 Woche
Mettlach, Saarland, Deutschland Villeroy & Boch VollzeitAt our company, we are looking for a skilled Software Development Professional to join our team. The ideal candidate will have a strong background in software development and a passion for innovation. Key responsibilities will include designing and implementing software solutions, collaborating with cross-functional teams, and continuously improving our...
-
Software Engineer
vor 1 Woche
Mettlach, Saarland, Deutschland Villeroy & Boch VollzeitWe're seeking a skilled Software Engineer to join our team at {company}. The ideal candidate will have a strong foundation in software development, with experience in programming languages such as Java and Python. Key responsibilities include designing, implementing, and testing software applications, as well as collaborating with cross-functional teams...
-
Software Engineer with Proficiency in Python
vor 1 Woche
Mettlach, Saarland, Deutschland GH intérim Wiltz VollzeitAbout the Job:We are seeking a skilled Software Engineer to join our team. The ideal candidate will have proficiency in Python and experience with large-scale systems.Key Responsibilities:• Design and implement scalable software solutions• Collaborate with cross-functional teams to deliver high-quality products• Stay up-to-date with industry trends and...
-
Software Engineer
vor 1 Woche
Mettlach, Saarland, Deutschland RH Lab. VollzeitJob Title: Software Engineer - Cloud NativeWe are looking for a skilled Software Engineer to join our team. The ideal candidate should have experience in cloud native technologies and a strong understanding of software development principles.Responsibilities:Design and develop cloud native applications using microservices architectureCollaborate with...
-
Postdoctoral Researcher in Secure ICT Systems
vor 4 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the SnTThe SnT is a leading international research and innovation centre in secure, reliable, and trustworthy ICT systems and services. Our mission is to fuel innovation through research partnerships with industry, boost R&D investments, and attract highly qualified talent.We are seeking highly motivated doctoral candidates who wish to pursue research...
-
Postdoctoral Researcher in Secure ICT Systems
vor 4 Wochen
Mettlach, Saarland, Deutschland Université du Luxembourg VollzeitAbout the SnTThe SnT is a leading international research and innovation centre in secure, reliable, and trustworthy ICT systems and services. Our mission is to fuel innovation through research partnerships with industry, boost R&D investments, and attract highly qualified talent.We are seeking highly motivated doctoral candidates who wish to pursue research...
-
Mettlach, Saarland, Deutschland SEO (Société Electrique de l'Our) VollzeitJob Overview:As a key member of our team, you will be responsible for designing, developing, and deploying scalable software solutions using Python and Java.Key Responsibilities:Design and develop software applications using Python and Java.Collaborate with cross-functional teams to identify and prioritize project requirements.Ensure high-quality code...
-
Mettlach, Saarland, Deutschland CLIMALUX S.A. VollzeitCLIMALUX S.A., a leading company in the technical building equipment sector in Luxembourg, is seeking a skilled professional to join its team as a Mechanic for Heating, Ventilation, and Air Conditioning Systems (M/W) - HLK/Sanitär.The ideal candidate will have a strong background in technical building equipment and a proven track record of providing...
-
Mettlach, Saarland, Deutschland CLIMALUX S.A. VollzeitCLIMALUX S.A., a leading company in the technical building equipment sector in Luxembourg, is seeking a skilled professional to join its team as a Mechanic for Heating, Ventilation, and Air Conditioning Systems (M/W) - HLK/Sanitär.The ideal candidate will have a strong background in technical building equipment and a proven track record of providing...
-
Mettlach, Saarland, Deutschland IEE VollzeitProject Coordinator in Functional Safety and Cybersecurity ManagementWe are seeking a highly skilled Project Coordinator to join our Functional Safety Department, responsible for ensuring the functional safety and cybersecurity of our automotive products in accordance with ISO 26262 and ISO 21434 standards.Key Responsibilities:Plan and coordinate functional...
-
Mettlach, Saarland, Deutschland IEE VollzeitProject Coordinator in Functional Safety and Cybersecurity ManagementWe are seeking a highly skilled Project Coordinator to join our Functional Safety Department, responsible for ensuring the functional safety and cybersecurity of our automotive products in accordance with ISO 26262 and ISO 21434 standards.Key Responsibilities:Plan and coordinate functional...
-
Mettlach, Saarland, Deutschland IEE VollzeitAbout the RoleWe are seeking a highly skilled Project Coordinator to join our Functional Safety Department, responsible for ensuring the functional safety and cybersecurity of our automotive products in accordance with ISO 26262 and ISO 21434 standards.Key ResponsibilitiesPlan and coordinate functional safety and cybersecurity activities throughout the...
-
Monitoring System Architect
vor 3 Wochen
Mettlach, Saarland, Deutschland Proximus Luxembourg VollzeitJob DescriptionAs a Monitoring System Engineer at Proximus Luxembourg, you will be responsible for designing, implementing, maintaining, and daily managing monitoring architectures to ensure the performance, centralization, and standardization of our monitoring systems.You will play a key role in educating users and creating reports on system capacity and...
