40 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Luxembourg
Sort by
Refine Your Search
-
27 Aug 2025 Job Information Organisation/Company University of Luxembourg Research Field Computer science » Digital systems Researcher Profile Recognised Researcher (R2) Country Luxembourg
-
of cellular reprogramming by introducing scalable computational methods that streamline the discovery of reprogramming targets and control strategies. A key innovation of EdgeCR is its fine-grained control
-
The successful candidate will join the young, vibrant, and interdisciplinary FINATRAX Research Group, which builds bridges between business research and information systems engineering. The group
-
29 Aug 2025 Job Information Organisation/Company University of Luxembourg Research Field Computer science » Computer systems Researcher Profile Recognised Researcher (R2) Country Luxembourg
-
The Quantum Dynamics of Control (QDC) group led by Prof. Aurelia Chenu at the University of Luxembourg has an opening for a 1-year postdoc on dynamics of quantum systems and theory of measurement
-
We seek a highly motivated bioinformatician or computational biologist who is well versed in the statistical and machine learning analysis of biomedical data and bioscientific programming for a
-
Successful candidate will join the Clinical and Translational Informatics, led by Dr. Venkata Satagopam, which focuses on bridging translational medicine and bioinformatics through innovative data
-
candidate will join the research group on non-formal education at the Centre for Childhood and Youth Research (CCY) within the Department of Social Sciences. The CCY is a multidisciplinary research centre
-
Applications in English should include: Curriculum Vitae Cover letter Copies of diplomas List of publications Summary of recent research and projects Sketch of planned research (2 pages each) indicating reference to the subject areas mentioned above Contact information of at least two...
-
of Science, Technology and Medicine (FSTM) at the University of Luxembourg plays a leading role in developing AI training programmes, coordinating talent development activities, and supporting outreach and