Postdoctoral researcher in Software Verification

il y a 3 jours

Luxembourg Canton Luxembourg Université du Luxembourg Temps plein

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

For further information, please contact us at or

Your Profile...

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 teamwork.

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

How to apply...

Applications should include:

  • Curriculum Vitae
  • Cover 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.

General information:

  • Contract Type: Fixed Term Contract 12 Month
  • Work Hours: Full Time 40.0 Hours per Week
  • Location: Campus Kirchberg
  • Internal Title: Postdoctoral researcher
  • Job Reference: UOL06536

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

  • Postdoctoral researcher in Software Verification

    il y a 3 jours

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    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...

  • Postdoctoral researcher in Digital History

    il y a 4 jours

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    The University | About us...The 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...

  • Postdoctoral Researcher in Entrepreneurship

    il y a 2 semaines

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    The Department of Economics and Management of the Faculty of Law, Economics and Finance of the University of Luxembourg is looking for a Postdoctoral researcher to conduct research in Entrepreneurship and Sustainability.Your Role:The Postdoctoral researcher will be working under the supervision of Professor Mickaël Géraudel, within the Chair...

  • Postdoctoral Researcher Hpc

    il y a 3 semaines

    Luxembourg Université du Luxembourg Temps plein

    The** 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...

  • Postdoctoral Researcher in Mathematics

    il y a 4 semaines

    Luxembourg Université du Luxembourg Temps plein

    The** 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...

  • Postdoctoral Researcher in Neurodegeneration

    il y a 3 jours

    Luxembourg Springer Nature Temps plein

    **Postdoctoral researcher in Neurodegeneration**: - Employer- LCSB - Luxembourg Centre for Systems Biomedicine- Location- Luxembourg- Salary- Negotiable- Closing date- 4 Jun 2024- Discipline Engineering Job Type Postdoctoral Employment - Hours Full time Duration Fixed term Qualification PhD Sector Academia- You need to sign in or create an...

  • Postdoctoral Researcher Hpc

    il y a 2 semaines

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    The 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...

  • Postdoctoral Researcher in Criminal Law

    il y a 2 semaines

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    The Department of Law of the Faculty of Law, Economics and Finance of the University of Luxembourg is looking for a Postdoctoral Researcher to conduct legal research in the framework of two projects on challenges for enforcement resulting from new technologies. The first project (ELEVADMIN, financed by the EU Commission) concerns gathering of electronic...

  • Postdoctoral Researcher in Brain Organoids

    il y a 3 semaines

    Luxembourg Springer Nature Temps plein

    **Postdoctoral researcher in Brain Organoids Technologies**: - Employer- LCSB - Luxembourg Centre for Systems Biomedicine- Location- Luxembourg- Salary- Negotiable- Closing date- 11 Jun 2024- Discipline Biomedicine, Health Science, Life Science Job Type Bioinformatician, Engineer, Postdoctoral Employment - Hours Full time Duration Fixed term ...

  • PhD Candidate in Software and System Verification

    il y a 4 semaines

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    About the SnTSnT is a top international hub for research and innovation in secure and trustworthy ICT systems and services. We contribute significantly to Luxembourg's innovation landscape by fostering research collaborations with industry, driving R&D investments to spur economic growth, and attracting top talent.We are seeking individuals who are...

  • PhD Candidate in Software and System Verification

    il y a 1 mois

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    About the SnTSnT is a top international hub for research and innovation in secure and trustworthy ICT systems and services. We contribute significantly to Luxembourg's innovation landscape by fostering research collaborations with industry, driving R&D investments to spur economic growth, and attracting top talent.We are seeking individuals who are...

  • Postdoctoral Researcher in Neurodegeneration

    il y a 2 semaines

    Luxembourg, Luxembourg Springer Nature Temps plein

    Postdoctoral researcher in Neurodegeneration: Employer LCSB Luxembourg Centre for Systems Biomedicine Location Luxembourg Salary Negotiable Closing date 4 Jun 2024 Discipline Engineering Job Type Postdoctoral Employment - Hours Full time Duration Fixed term Qualification PhD Sector Academia- You need to sign in or create an account to a job. Job Details...

  • Postdoctoral researcher in Cyber Policy

    Il y a 2 mois

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    The Department of Law of the Faculty of Law, Economics and Finance of the University of Luxembourg is looking for a Postdoctoral researcher to conduct research in cyber policy.Your Role...The postdoctoral researcher will be working under the supervision of Professor Niovi Vavoula. In particular, the Postdoctoral Researcher will be in charge of:Conduct...

  • Postdoctoral researcher in Cyber Policy

    Il y a 2 mois

    Luxembourg Université du Luxembourg Temps plein

    The Department of Law of the Faculty of Law, Economics and Finance of the University of Luxembourg is looking for a Postdoctoral researcher to conduct research in cyber policy.Your Role...The postdoctoral researcher will be working under the supervision of Professor Niovi Vavoula. In particular, the Postdoctoral Researcher will be in charge of:Conduct...

  • Postdoctoral researcher in Cyber Policy

    il y a 4 semaines

    Luxembourg, Luxembourg Université du Luxembourg Temps plein

    The Department of Law of the Faculty of Law, Economics and Finance of the University of Luxembourg is looking for a Postdoctoral researcher to conduct research in cyber policy.Your Role...The postdoctoral researcher will be working under the supervision of Professor Niovi Vavoula. In particular, the Postdoctoral Researcher will be in charge of:Conduct...

  • Postdoctoral researcher in Cyber Policy

    il y a 4 semaines

    Luxembourg Université du Luxembourg Temps plein

    The Department of Law of the Faculty of Law, Economics and Finance of the University of Luxembourg is looking for a Postdoctoral researcher to conduct research in cyber policy.Your Role...The postdoctoral researcher will be working under the supervision of Professor Niovi Vavoula. In particular, the Postdoctoral Researcher will be in charge of:Conduct...

  • Postdoctoral Researcher in Criminal Law

    il y a 2 semaines

    Luxembourg, Luxembourg University of Luxembourg Temps plein

    Your Role...The Postdoctoral Researcher will be working under the supervision of Professor Stanislaw Tosza.In particular, the Postdoctoral Researcher will be in charge of: Conducting research and contributing to other activities falling into the scope of the research projects, in particular: drafting the questionnaire and project research papers, prepare...

  • Postdoctoral Researcher in Criminal Law

    il y a 2 semaines

    Luxembourg, Luxembourg University of Luxembourg Temps plein

    Your Role...The Postdoctoral Researcher will be working under the supervision of Professor Stanislaw Tosza.In particular, the Postdoctoral Researcher will be in charge of: Conducting research and contributing to other activities falling into the scope of the research projects, in particular: drafting the questionnaire and project research papers, prepare...

  • Postdoctoral Researcher in Brain Organoids

    il y a 2 semaines

    Luxembourg, Luxembourg Springer Nature Temps plein

    Postdoctoral researcher in Brain Organoids Technologies:EmployerLCSB Luxembourg Centre for Systems BiomedicineLocationLuxembourgSalaryNegotiableClosing date11 Jun 2024Discipline Biomedicine, Health Science, Life Science Job Type Bioinformatician, Engineer, Postdoctoral Employment - Hours Full time Duration Fixed term Qualification PhD Sector Academia- You...

  • Postdoctoral Researcher in Sociology

    il y a 2 semaines

    Luxembourg Université du Luxembourg Temps plein

    The** 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...