43 proof-checking-postdoc-computer-science-logic PhD positions at University of Luxembourg
Sort by
Refine Your Search
-
We are looking for a doctoral candidate with a strong computational, engineering, data scientific or machine learning background that is keen to work in an interdisciplinary environment and open to
-
Trade Economics. The thesis work will be undertaken at the University of Luxembourg. The suggested theme of the PhD is Quantitative Urban and/or Trade Economics. The candidate is, however, welcome to
-
Qualification: The candidate should possess a MSc. Degree or equivalent in Engineering, Computer Science, or related fields. Experience: The ideal candidate should have some knowledge and experience
-
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
-
anonymization Conduct interviews with the involved stakeholders Disseminate results through scientific publications in outlets on the intersection between information systems, computer science, and energy markets
-
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 ERC Synergy project ALCEMIST (lcsoftmatter.com/alcemist ) challenges the conventional engineering mindset of using motors to drive passive structural components by developing innovative
-
The Mathematics department at the University of Luxembourg currently has openings for up to 4 PhD positions in the following areas: - Algebraic geometry, - Geometry, - Mathematical aspects of computer science
-
will be employed at Doctoral level (PhD) at the Department of Computer Science of the University of Luxembourg (UL). She/he will be supervised by Prof. Dr. Christoph Schommer and is expected to conduct
-
Pathogenesis in the age of the microbiome (MICRO-PATH; https://micro-path.uni.lu ) is a highly competitive, interdisciplinary, research-intensive PhD training programme, supported by the PRIDE