31 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Luxembourg
Sort by
Refine Your Search
-
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
-
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
-
The ERC Synergy project ALCEMIST (lcsoftmatter.com/alcemist ) challenges the conventional engineering mindset of using motors to drive passive structural components by developing innovative
-
be found on hpc.uni.lu . The activities include classical HPC applications, such as simulation and modeling, as well as artificial intelligence and machine learning, which bridge computational science
-
be found on hpc.uni.lu . The activities include classical HPC applications, such as simulation and modeling, as well as artificial intelligence and machine learning, which bridge computational science