Fully Funded PhD position is available for applicants driven by excellence, and excited about innovation. PhD position is open at SnT, The university of Luxembourg. 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.
Position Summary
- Title: PhD Candidate in Software and System Verification
- Employer: University of Luxembourg
- Location: Kirchberg (Luxembourg)
- Published: 2024-04-12
- Application deadline: 2025-04-12 23:59 (Europe/Luxembourg) 2025-04-12 23:59 (CET)
- Job type: PhD
- Research Field: Software Engineering, Programming Languages, Machine Learning, Information Systems (Business Informatics), Probability Theory
- Contract Type: Fixed Term Contract 36 Month (extendable up to 48 months if required)
- Work Hours: Full Time 40.0 Hours per Week
- Job Reference: UOL06405
The yearly gross salary for every PhD at the UL is EUR 40952 (full time)
You Responsibilities:
The successful candidate will join the SeRVal group of the SnT, under Dr. Maxime Cordy, and contribute to the VARIANCE project, funded by the Luxembourg National Research Fund. The project focuses on “Variability-Aware Design of Cyber-Physical Systems,” developing verification methods for cyber-physical system design. The project will apply to various domains, including automotive systems, space systems, smart grids, and smart factories.
The supervision team you will be working with is:
Maxime Cordy: research scientist at SeRVal
You will be required to perform the following tasks:
- Perform research work in the predefined areas
- Survey the scientific literature in the relevant research domains
- Disseminating results through scientific publications
- Communicate with stakeholders to collect requirements and report results
- Implement proof-of-concept software tools
Your Qualification:
- MSc degree in computer science with strong programming skills and good knowledge of verification methods.
- You must have experience in: 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.
- Fluent English skills (Writing and speaking)
Job Benefits
- A stimulating learning environment.
- Exciting infrastructures and unique labs.
- Multiple funding sources for your ideas.
- Competitive salary package: The University offers a 12 month-salary package, over six weeks of paid time off, meal vouchers and health insurance
But wait, there’s more!
How to Apply
- CV (with list of published research)
- The names and contact info of three referees
- Transcript record of university education
- Research statement and topics of particular interest to the candidate (300 words)
The University of Luxembourg is open to all qualified individuals, promoting inclusion and diversity through recruitment and career progression, and encourages early application through the HR system.
