University of Luxembourg
1 month ago
Postdoctoral Researcher in Software Engineering for Cyber-Physical Systems University of Luxembourg in Luxembourg
Degree Level
Postdoc
Field of study
Computer Science
Funding
Fixed-term full-time postdoctoral research associate position for 18 months. The project FREELY is funded by the Luxembourg National Research Fund (FNR). The yearly gross salary is EUR 87,306 for every postdoctoral researcher at the University of Luxembourg.
Country
Luxembourg
University
University of Luxembourg

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.
Apply for this position
Keywords
Suggested positions
About this position
Postdoctoral Researcher in Software Engineering for Cyber-Physical Systems at the University of Luxembourg, within the Interdisciplinary Centre for Security, Reliability and Trust (SnT) and the SVV research group headed by Prof. Domenico Bianculli. The project is FREELY (Frequency-enhanced verification and validation of CPS), funded by the Luxembourg National Research Fund (FNR), and is carried out in collaboration with the TrustCPS group at TU Wien led by Prof. Ezio Bartocci.
This position focuses on research in software verification and validation, formal methods, temporal logics, runtime verification, monitoring, specification inference, and testing of cyber-physical systems. The successful candidate will develop proof-of-concept solutions, empirically evaluate tools and methods, disseminate results in scientific publications and international conferences, contribute to workshops and demonstrations, support project meetings, and help with research project deliverables and funding acquisition.
Eligibility: a PhD in Computer Science, Informatics, Software Engineering, or a related field; strong publication record in relevant top conferences/journals; excellent English communication skills; and programming proficiency as an asset. The role is full-time, fixed-term for 18 months, based at Kirchberg Campus, Luxembourg. The annual gross salary is EUR 87,306.
How to apply: submit a CV, cover letter, PhD diploma or expected defense date, research statement, contact details for 3 referees, and publication list via the online HR system. Applications are reviewed upon receipt, so early application is encouraged. Email applications will not be considered.
Funding details
Fixed-term full-time postdoctoral research associate position for 18 months. The project FREELY is funded by the Luxembourg National Research Fund (FNR). The yearly gross salary is EUR 87,306 for every postdoctoral researcher at the University of Luxembourg.
What's required
PhD degree in Computer Science, Informatics, Software Engineering, or a related field. Applicants should have a strong publication track record in relevant international conferences and top journals, with knowledge of one or more of software verification and validation, temporal logics, or formal methods. Background in runtime verification and monitoring, specification inference, testing of cyber-physical systems, fault localization and failure explanation, or machine learning for software verification is desirable. Proficiency in a major programming language is an asset. Excellent written and verbal English communication skills are required.
How to apply
Apply online through the HR system using the official application portal. Include a CV, cover letter, PhD diploma or expected defense information, research statement, contact details for 3 referees, and a list of publications. Email applications will not be considered.
More information can be found here
Ask ApplyKite AI

How do I apply for this?
Sign in for free to reveal details, requirements, and source links.