65 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Luxembourg
Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
or simulated industrial scenarios. Is Your profile described below? Are you our future colleague? Apply now! Education PhD in Computer Science, Telecommunications, or a closely related field. Strong background
-
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
-
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
-
Models, Generative AI, Federated and Decentralized Learning, Neurosymbolic and Hybrid AI, Self-Supervised and Few-Shot Learning – and their integration into wireless communications and edge computing
-
2 Feb 2026 Job Information Organisation/Company University of Luxembourg Research Field Educational sciences » Other Researcher Profile Recognised Researcher (R2) Application Deadline 30 Dec 2026
-
17 Feb 2026 Job Information Organisation/Company University of Luxembourg Research Field Educational sciences » Education Researcher Profile Recognised Researcher (R2) Application Deadline 16 Feb
-
17 Feb 2026 Job Information Organisation/Company University of Luxembourg Research Field Educational sciences » Education Researcher Profile Recognised Researcher (R2) Application Deadline 16 Feb
-
We invite applications for a postdoctoral researcher to join the UMLFF project at the University of Luxembourg. The project aims to develop the next generation of uncertainty-aware machine-learning force fields (MLFFs) that combine state-of-the-art equivariant neural network architectures with...
-
2 Feb 2026 Job Information Organisation/Company University of Luxembourg Research Field Educational sciences » Education Researcher Profile Recognised Researcher (R2) Application Deadline 15 Jan
-
expertise covering mathematics, engineering, computer science and social sciences. We offer excellent working conditions in an international and stimulating environment, along with frequent opportunities