43 proof-checking-postdoc-computer-science-logic PhD positions at University of Luxembourg
Sort by
Refine Your Search
-
The SnT is seeking a Doctoral Researcher to support the research and development work within the SEDAN group (https://www.uni.lu/snt-en/research-groups/sedan ). We seek a candidate with expertise and/or interest in the following relevant fields: artificial intelligence and cybersecurity. The...
-
The SnT is seeking a Doctoral Researcher to support the research and development work within the SEDAN group (https://www.uni.lu/snt-en/research-groups/sedan ). We seek a candidate with expertise and/or interest in the following relevant fields: artificial intelligence and cybersecurity. The...
-
Qualification: Master in Computer Science and/or Cybersecurity or equivalent degrees with expertise in at least one of the above areas (dependability, real-time systems, operating systems
-
., economics, business, technology), united in pursuit of sustainable solutions that positively impact and shape a low-carbon economy and society. For more information, please visit our website: www.uni.lu/snt
-
(e.g., economics, business, technology), united in pursuit of sustainable solutions that positively impact and shape a low-carbon economy and society. For more information, please visit our website
-
The SigCom research group of SnT, headed by Prof. Symeon Chatzinotas, focuses on wireless/satellite communications and networking. The research areas focus on the formulation, modeling, design, and analysis of future 6G communication networks that are capable of supporting new services for...
-
, the project PSYBER - Assessing Cybersecurity Preparedness will be executed closely with Prof. Marcus Völp (Robustness and Resilience in Computing), Prof. Pedro Cardoso-Leite (Faculty of Social Science
-
As a part of this collaborative research programme, you will join as one of three PhD candidates working on interconnected projects in Quantum Optimisation, People-Centred Design (PCD
-
research at the interface between biophysics, biomedicine, and computer science Simulate molecular dynamics of ion channels Predict variant-specific protein structures using AlphaFold Co-develop machine
-
backgrounds to contribute to our projects in areas such as: Network Security, Information Assurance, Model-driven Security, Cloud Computing, Cryptography, Satellite Systems, Vehicular Networks, and ICT Services