24 software-formal-method-phd Postdoctoral positions at University of Luxembourg in Luxembourg
Sort by
Refine Your Search
-
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
-
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
-
. 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
-
project on the study of neurological disorders. The candidate should have experience in the analysis of large-scale biomedical data (e.g., omics or clinical data), using statistical methods, pathway/network
-
/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
-
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
-
to contribute to the design and collection of future YSL waves and disseminate findings to relevant audiences. The successful candidate will join the YSL research team (two PhD students, one postdoctoral
-
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
-
will be developing control electronics based on Arduino or Raspberry Pi and write the corresponding software, ensuring significant automation and simple user interfaces such that other researchers can