Postdoctoral Researcher in Software Verification Position
vor 2 Wochen
About the Université du Luxembourg...
The University of Luxembourg is a leading international research and innovation centre in secure, reliable and trustworthy ICT systems and services.
We're looking for individuals driven by excellence, excited about innovation, and committed to making a difference. If this resonates with you, we invite you to explore this opportunity.
Your Role...
As a successful candidate, you will join the Security, Reasoning and Validation (SeRVal) group under the supervision of Dr. Maxime Cordy. You will contribute to research work in software verification, focusing on developing theories, techniques and tools to ensure software systems meet their expected requirements.
This role offers diverse opportunities to explore various topics, including:
- Statistical model checking
- Improving verification using deep learning
- Completeness and consistency of formal specifications
- Verification for variability-intensive software systems
- Verification for cyber-physical systems
- Verification for AI systems
You will collaborate with industry partners on projects with multiple use cases, such as automotive systems, satellite, smart grids, and smart factories.
The Supervision Team You Will Be Working With Includes
- Maxime Cordy: supervisor
- Yves Le Traon: head of SerVal
Your Key Responsibilities...
- Conducting research in predefined areas
- Disseminating results through scientific publications in top software engineering and formal methods venues
- Collaborating with industry partners to collect requirements and report results
- Implementing proof-of-concept software tools
- Preparing research proposals to acquire public funding and/or industry partnerships
- Managing research projects and preparing project deliverables
- Providing guidance to PhD students working in the same area
Requirements and Qualifications...
To be successful in this position, you should possess a PhD degree in Computer Science with strong programming skills and an excellent publication record.
Apart from your academic qualifications, you should demonstrate commitment, critical thinking, and teamwork abilities.
The ideal candidate should have knowledge or experience in areas like formal verification, model checking, temporal logic, software engineering, machine learning, and AI.
Language Skills: Fluent written and verbal communication skills in English are required.
What We Offer...
The Université du Luxembourg provides exciting infrastructure and unique labs where researchers can engage in innovative projects.
Our partnership programme enables collaboration with over 55 industry partners, offering diverse opportunities for growth and impact.
You will become part of a multicultural family, with more than 60 nationalities represented within the university community.
We encourage applications from all qualified individuals.
Please apply online formally through our HR system. We look forward to receiving your application.
Estimated salary: €83,099 per year.
-
Postdoctoral researcher in Software Verification
vor 1 Woche
Daleiden, Deutschland Université du Luxembourg VollzeitAbout 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...
-
Research Associate in Post-quantum Cryptanalysis
vor 1 Woche
Daleiden, Deutschland Université du Luxembourg VollzeitAbout the SnTThe 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...
-
Research Chemist for Industrial Ammonia Cracking
vor 2 Wochen
Daleiden, Deutschland Paul Wurth Paul Wurth Geprolux VollzeitAbout Paul Wurth / Paul Wurth GeproluxWe are a global leader in ironmaking technology actively working on CO2 reduction approaches for the blast furnace based iron production route.Position OverviewThis is a fully funded PhD position with a competitive salary of €40,000 - €50,000 per year, depending on experience and qualifications.Job DescriptionThe...
-
PhD for Research Group Applied Thermodynamics
vor 1 Woche
Daleiden, Deutschland Université du Luxembourg VollzeitAbout the FSTMThe University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character.The Faculty of Science, Technology and Medicine (FSTM) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and...
-
PhD-student Positions in Finance
vor 1 Woche
Daleiden, Deutschland Université du Luxembourg VollzeitAbout the FDEFThe University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character.The Faculty of Law, Economics and Finance (FDEF) at the University of Luxembourg offers a unique academic and research environment. Rooted in Luxembourg but with a European and international outlook, teaching and...
-
Daleiden, Deutschland Paul Wurth Paul Wurth Geprolux VollzeitWe are looking for aInternship followed by fully funded PhD – Chemical process engineer (m/f/d)Paul Wurth as a global leader in ironmaking technology is actively working on CO2 reduction approaches for the blast furnace based iron production route. One main approach is to integrate CO2 lean hydrogen into the process. Hydrogen can be produced much cheaper...
-
Senior Corporate Governance Specialist
vor 2 Wochen
Daleiden, Deutschland Arhis HR Solutions VollzeitArhis HR Solutions is seeking a highly skilled Career Opportunity for a Senior Corporate Governance Specialist to join our team in Luxembourg. This permanent position offers an exciting chance to utilize your expertise and contribute to the growth of our company.About the JobWe are looking for an experienced professional with a solid understanding of...
-
Building Technical Specialist
vor 1 Woche
Daleiden, Deutschland Université du Luxembourg VollzeitAbout usThe University of Luxembourg is an international research university with a distinctly multilingual and interdisciplinary character.Created in 2003, it strives today to meet tomorrow's major societal challenges, by nurturing an interdisciplinary approach and international outlook, investing in scientific quality and innovation, as well as offering...
-
Projektleiter/in – Abbruch und Räumung
vor 3 Monaten
Daleiden, Deutschland Polygone VollzeitNeben seiner kulturellen Vielfalt und freundlichen Atmosphäre ist Polygone ohne Zweifel eine Gruppe von mittelständischen Unternehmen. Seit 40 Jahren befindet sich die Gruppe in einem kontinuierlichen Wachstum. Sie zeichnet sich durch eine enge Beziehung zu den Vorgesetzten aus. Vertrauen ist die Grundlage, die gegenseitigen Respekt und berufliche...
