32 formal-verification-computer-science Postdoctoral positions at University of Luxembourg in Luxembourg
Sort by
Refine Your Search
-
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
-
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, systems development experience is an
-
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
-
application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. Applications by Email will not be considered. The University
-
of possible research interests/ideas Early application is highly encouraged, as the applications will be processed upon reception. Please apply ONLINE formally through the HR system. To ensure full
-
will be processed upon reception. To ensure full consideration, candidates should apply by 15 August 2025ONLINE formally through the HR system. Applications by Email will not be considered. All qualified
-
) 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
-
full consideration, candidates should apply by 12 July 2025 ONLINE formally through the HR system. Applications by Email will not be considered. All qualified individuals are encouraged to apply. In line
-
. Please apply ONLINE formally through the HR system. Applications by Email will not be considered. The University of Luxembourg is committed to achieving gender parity among its staff. Should candidates
-
. To ensure full consideration, candidates should apply by 30/06/2025 ONLINE formally through the HR system. Applications by Email will not be considered. All qualified individuals are encouraged to apply. In