Publisher
source

University of Luxembourg

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 flag

Country

Luxembourg

University

University of Luxembourg

Social connections

How do I apply for this?

Sign in for free to reveal details, requirements, and source links.

Apply for this position

Keywords

Computer Science
Electrical Engineering
Information Technology
Software Engineering
Formal Methods
Robotics
Temporal Logic
Fault Location
Home Monitoring
Runtime Verification
Cyber-physical System

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

Start chatting
Can you summarize this position?
What qualifications are required for this position?
How should I prepare my application?