67 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Luxembourg
Sort by
Refine Your Search
-
Listed
-
Employer
-
Field
-
real 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
-
colleague? Apply now! Education • PhD in Computer Science, Telecommunications, or a closely related field. • Solid knowledge of mobile networks and 5G systems, with practical understanding of RAN optimization
-
, H2020 program and the European Space Agency (ESA). For further information, you may check: www.securityandtrust.lu The SigCom research group carries out research activities in the areas of signal
-
interdisciplinary research centre of the University of Luxembourg. We conduct fundamental and translational research in the field of Systems Biology and Biomedicine – in the lab, in the clinic and in silico. We focus
-
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
-
Presenting results in well-known international conferences and workshops Implementing proof-of-concept solutions Providing guidance to PhD, MSc, and BSc students Organizing relevant workshops and
-
1 Dec 2025 Job Information Organisation/Company LISER Department Human Resources Research Field Economics Researcher Profile Recognised Researcher (R2) Positions Postdoc Positions Country Luxembourg
-
technologies (fiber-optic sensors, DIC), and computer science (machine learning tools) in collaboration with de department of Physics. The aim of the BriCE project is to develop a novel bridge monitoring
-
pilots and pre-series devices. We are looking for a postdoctoral researcher to drive the core R&D work that takes the technology from a validated baseline to a calibrated pre-series suitable for field
-
Participate in teaching and supervision activities, in line with the candidate’s profile and interests The research activities will be hosted by the Parallel Computing and Optimisation Group (PCOG) at SnT