39 proof-checking-postdoc-computer-science-logic Postdoctoral positions at University of Luxembourg in Luxembourg
Sort by
Refine Your Search
-
, one to three hours a week, and contributing to tutoring students The PostDoc will primarily coordinate and synthesise ongoing research work so that the results can be used in concrete recommendations
-
profile PhD in Mathematics, Theoretical Computer Science, Information Theory, Physics or related fields High level of mathematical maturity Experience with topics related to quantum LDPC codes and decoding
-
Qualification: PhD in Computer Science Experience in dependable systems, real-time and embedded systems and/or operating systems and the threats and attacks they are exposed to is highly valuable
-
Please prepare the following documents in English: Curriculum Vitae (studies with grades, work experience, publication list) Cover letter Abstract of your thesis List of 3 referees description of possible research interests/ideas Early application is highly encouraged, as the applications will...
-
. The experimental work will be carried out in close collaboration with a Ph.D. candidate whom you will be co-supervising and another post-doc focusing on new LCE chemistry adapted to the procedures that you develop
-
The successful candidate will join the Enzymology & Metabolism group, led by Prof. Carole Linster, which deciphers the cellular metabolism in rare and more common neurodegenerative or neurometabolic diseases. We exploit genomic and post-genomic data to fill gaps in metabolic networks, discover...
-
interdisciplinary research centre of the University of Luxembourg. We conduct fundamental and translational research in the field of Systems Biology and Biomedicine – in the lab, in the clinic and in silico. We focus
-
) at the University of Luxembourg contributes multidisciplinary expertise in the fields of Mathematics, Physics, Engineering, Computer Science, Life Sciences and Medicine. Through its dual mission of teaching and
-
The successful candidate will work under the supervision of Professor Dr Martin Stierle, with the main task of preparing a doctoral thesis in the field of IP law. In addition, the doctoral candidate will contribute to teaching activities and common projects of the research group in IP law. The...
-
, to support our activities within the NEUROH-CHANGE project (Resilience of Neurological Health in Global Change: A One Health Approach). NEUROH-CHANGE is an interdisciplinary research program aimed at enhancing