32 formal-verification-computer-science Postdoctoral positions at University of Luxembourg
Sort by
Refine Your Search
-
/06/2025 ONLINE formally through the HR system. Applications by Email will not be considered. All qualified individuals are encouraged to apply. In line with our values, the University of Luxembourg
-
interest and your motivation Early application is highly encouraged, as the applications will be processed upon reception. To ensure full consideration please apply by May 15th, 2025 ONLINE formally through
-
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
-
. 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...
-
) 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 SigCom research group at SnT, led by Prof. Symeon Chatzinotas, focuses on wireless and satellite communications for future 6G networks. Research includes security, IoT, unmanned aerial vehicles, integrated satellite-terrestrial networks, quantum communications, spectrum management, tactile...
-
, 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
-
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
-
researcher) at the Centre for Childhood and Youth Research (CCY) within the Department of Social Sciences. The CCY is a multidisciplinary research group studying youth development and social inequalities. It