47 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Luxembourg
Sort by
Refine Your Search
-
Temporary contract | 36 months | Belval Are you passionate about research? So are we! Come and join us The Luxembourg Institute of Science and Technology (LIST) is a Research and Technology
-
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
-
Applications should include: Cover letter indicating your motivation for this position, relevant experience and future interest Curriculum vitae List of publications and projects Copies of diplomas Early application is highly encouraged, as the applications will be processed upon reception....
-
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
-
Temporary contract | 30 months | Belval Are you passionate about research? So are we! Come and join us The Luxembourg Institute of Science and Technology (LIST) is a Research and Technology
-
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