Inserat online seit: 18 Juni
Aufgaben der Stelle
About us
Sind Sie der/die richtige Bewerber/in für diese Stelle Lesen Sie sich die Rollenübersicht unten durch.
The
University of Luxembourg
is an international research university with a distinctly multilingual and interdisciplinary character.
The
Interdisciplinary Centre for Security, Reliability and Trust
(
SnT
) at the 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 Europe by fueling innovation through research partnerships with industry, boosting R&D investments leading to economic growth, and attracting highly qualified talent. We look for researchers from diverse academic backgrounds to contribute to our projects in areas such as: Network Security, Information Assurance, Model-driven Security, Cloud Computing, Cryptography, Satellite Systems, Vehicular Networks, and ICT Services & Applications.
Your role
Carrying out research in the predefined areas
Implementing proof-of-concept solutions
Empirically evaluating the proposed solutions and tools
Disseminating results through scientific publications
Preparing and organizing project meetings, including off-site meetings in Vienna
Providing guidance to PhD, master, and bachelor students
Organizing relevant workshops and demonstrations
Preparing project deliverables and reports
Presenting results in well-known international conferences and workshops
Contributing to the acquisition of research funding
Managing and contributing to national and international research projects
We offer an attractive research associate position in the context of the FREELY (Frequency-enhanced verification and validation of CPS) project, funded by the Luxembourg National Research Fund (FNR). The project aims to develop methods and techniques for enabling the use of frequency-based specifications in V&V activities for cyber-physical systems. The project will be carried out in collaboration with the TrustCPS group of TU Wien (led by prof. Ezio Bartocci).
The successful candidate will join the SVV research group headed by Prof. Domenico Bianculli and will report to the latter (PI of the project). The team focuses on the development and design of reliable, safe, and secure software systems, carrying out both upstream activities such as requirements quality assurance and architecture analysis, as well as downstream verification & validation activities, such as software testing and runtime verification. For further information, you may refer to
profile
We are looking for a motivated candidate who can work independently and efficiently, is proactive in solving problems, and has strong analytical skills. The candidate should be interested in working in an international team with a multi-disciplinary set of backgrounds, where sharing resources and teamwork is essential. Most importantly, the candidate should be curiosity driven and willing to constantly learn new things!
Qualification: PhD degree in Computer Science, Informatics, Software Engineering, or a related field.
Experience:
Knowledge (supported by a sound publication track record in relevant international conferences and top journals) of one or more of the following topics:
Software Verification and Validation
Temporal logics
Formal methods
Background in any of the following topics:
Runtime verification and monitoring
Specification inference
Testing of Cyber-physical systems
Fault localization and failure explanation
Machine learning for software verification
Proficiency in a major programming language will be considered as an asset
Language Skills: Excellent written and verbal communication skills in English are required.
We offer
A modern, dynamic university with a personal and inclusive atmosphere. Multilingual and international character. Staff coming from more than 90 countries. Member of The Guild of European Research Intensive Universities
An exceptional research environment, supported by skilled staff and high-quality equipment. Strong links to professional sectors and the Luxembourg labour market. A unique urban campus with excellent infrastructure
A partner for society and industry. Cooperation with European institutions, innovative companies, the Financial Centre and a wide range of non-academic partners including ministries, local governments, associations, and NGOs
How to apply
Applications should include:
Curriculum Vitae
Cover letter detailing your motivation for applying to the advertised research topic and/or project, including how your background, interests, and career goals align with its objective
PhD diploma or a letter/information indicating the expected defense date
Transcript of all modules and results from university-level courses taken
List of publications
Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. Applications by Email will not be considered.
All qualified individuals are encouraged to apply. In line with our values, the University of Luxembourg promotes an inclusive culture. We encourage applications from individuals of all backgrounds and are dedicated to upholding equality and respect for our employees and students. xniyctf
General information:
Contract Type: Fixed Term Contract 18 Month
Work Hours: Full Time 40.0 Hours per Week
Location: Kirchberg Campus
Internal Title: Postdoctoral researcher
Job Reference: UOL08232
The yearly gross salary for every Postdoctoral Researcher at the UL is EUR 85176 (full time).
