Postdoctoral researcher / Research Associate position in Software Verification

02 Feb 2023
13 Apr 2023
Job Type
Employment - Hours
Full time
Fixed term
Postdoctoral researcher / Research Associate position in Software Verification
(Valid from 31/01/2023 to 31/05/2023)

Language: English (UK)
Country: Luxembourg

Organisation Interdisciplinary Centre of Security, Reliability and Trust
Job Number: UOL05553
Contract Fixed Term Contract
Duration 12 Month
Schedule Full Time
Work Hours 40.0 Hours per Week
Expected 01/05/2023
Start Date:

Functions: Postdoctorant
Job Postdoctoral researcher

About the SnT...
SnT 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
highly qualified talent.

We’re looking for people driven by excellence, excited about innovation, and looking to make a difference. If this sounds like you, you’ve come to the
right place!

Your Role...
As the successful 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 research work in the area of Software Verification. Such research concerns the development of theories, techniques and tools to
ensure that software systems behave according to their expected requirements. More specifically, the verification topics that may be explored include
(but are not limited to):

* Statistical model checking
* Improving verification with deep learning
* Completeness and consistency of formal specifications
* Verification for variability-intensive software systems
* Verification for cyber-physical systems
* Verification for AI systems

The results of the project are expected to apply to multiple use cases, e.g., automotive systems, satellite, smart grids, smart factories, etc., in
collaboration with partners of the group. Depending on your profile, the project can focus more on theory, development and/or applications. However, all
three aspects are expected to be covered during the project.

The Supervision Team You Will Be Working With Is

* Maxime Cordy: supervisor
* Yves Le Traon: head of SerVal

You Will Be Required To Perform The Following Tasks

* Carrying out research in the predefined areas
* Disseminating results through scientific publications in top software engineering and formal methods venues
* Communicate with industry partners to collect requirements and report results
* Implement proof-of-concept software tools
* Prepare research proposals to acquire public fundings and/or industry partnerships
* Manage research projects and prepare project deliverables
* Provide guidance to PhD students working in the same area

Your Profile...
Qualification: The candidate should possess a PhD degree in Computer Science (software engineering, formal methods or related fields) with strong
programming skills and an excellent publication record (including in top tier conferences). The group appreciates commitment, critical mind, and

Experience : The ideal candidate should have some knowledge and/or experience in a number of the following topics:
Formal verification

* Model checking
* Temporal logic
* Software engineering
* Machine learning and AI
* Cyber-physical system
* Decidability and complexity

Language Skills: Fluent written and verbal communication skills in English are required.

Here’s what awaits you at SnT...
* Exciting infrastructures and unique labs. At SnT’s two campuses, our researchers can take a walk on the moon at the LunaLab, build a nanosatellite,
or help make autonomous vehicles even better
* The right place for IMPACT. SnT researchers engage in demand-driven projects. Through our Partnership Programme, we work on projects with more than
55 industry partners
* Be part of a multicultural family. At SnT we have more than 60 nationalities. Throughout the year, we organise team-building events, networking
activities and more

Find out more about us!

In Short...
* Contract Type: Fixed Term Contract 12 Month (renewable)
* Work Hours: Full Time 40.0 Hours per Week
* Location: Kirchberg
* Job Reference: UOL05553

The yearly gross salary for every Postdoctoral Researcher at the UL is EUR 77167 (full time)

How to apply...
Applications should include:

* Full CV, including list of publications and name (and email address, etc) of three referees
* Transcript of all modules and results from university-level courses taken
* Research statement and topics of particular interest to the candidate (300 words)
* Motivation letter

All qualified individuals are encouraged to apply.

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.

The University of Luxembourg embraces inclusion and diversity as key values. We are fully committed to removing any discriminatory barrier related to
gender, and not only, in recruitment and career progression of our staff.

About the University of Luxembourg...
University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character. The University was
founded in 2003 and counts more than 6,700 students and more than 2,000 employees from around the world. The University’s faculties and interdisciplinary
centres focus on research in the areas of Computer Science and ICT Security, Materials Science, European and International Law, Finance and Financial
Innovation, Education, Contemporary and Digital History. In addition, the University focuses on cross-disciplinary research in the areas of Data
Modelling and Simulation as well as Health and System Biomedicine. Times Higher Education ranks the University of Luxembourg #3 worldwide for its
“international outlook,” #20 in the Young University Ranking 2021 and among the top 250 universities worldwide.

Further information
For further information, please contact us at or

Apply here


DISCLAIMER: This e-mail is confidential and should not be used by anyone who is
not the original intended recipient. If you have received this e-mail in error
please inform the sender and delete it from your mailbox or any other storage
mechanism. Springer Nature Limited does not accept liability for any statements
made which are clearly the sender's own and not expressly made on behalf of
Springer Nature Ltd or one of their agents.
Please note that Springer Nature Limited and their agents and affiliates do not
accept any responsibility for viruses or malware that may be contained in this
e-mail or its attachments and it is your responsibility to scan the e-mail and
attachments (if any).
Springer Nature Limited. Registered office: The Campus, 4 Crinan Street, London,
N1 9XW. Registered Number: 00785998 England.

Similar jobs

More searches like this

Similar jobs