44 proof-checking-postdoc-computer-science-logic PhD positions at University of Luxembourg
Sort by
Refine Your Search
-
Applications should include: Curriculum Vitae including a list of publications or manuscripts in preparation (if applicable) and details of MSc training Cover letter Copies of degree certificates and statement of courses and marks (“relevé de notes”) Early application is highly encouraged, as...
-
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