10 proof-checking-postdoc-computer-science-logic PhD positions in computer-science in Denmark
-
Role Description This is a full-time (37 hours/week) on-site role located at Åbogade 34, 8200 Aarhus N, Denmark for a Postdoctoral Fellow at the Department of Computer Science, Aarhus University
-
for security and export control, open-source background checks may be conducted on qualified candidates for the position. Embedded Systems Engineering (ESE) is one of the 10 research sections of DTU Compute
-
supervisor is Prof. Serafim Bakalis, Department of Food Science, E-mail: [email protected] , Direct Phone: +45 93 56 56 81. Qualifications needed To be eligible for the regular PhD programme, you must have
-
funded through the EU Research Framework Programme? Not funded by a EU programme Is the Job related to staff position within a Research Infrastructure? No Offer Description The Graduate School at Arts
-
computation. Familiarity with both topics is a definite benefit, but not a strict requirement. The position requires a solid mathematical skill set and the ability to formally analyse and prove properties
-
The Centre for Journalism, Department of Political Science and Public Management , University of Southern Denmark, Odense, invites applications with a strong computational profile for a three-year
-
Do you bring together domain specific knowledge from the social sciences with a genuine, hands-on command of AI and/or digital methods? Would you like to advance research that integrates state
-
candidate will receive interdisciplinary training at the interface of computational biology, structural biology, immunology, and vaccinology, while working closely with collaborators across the NIVI teams and
-
School of Social Sciences and Humanities in accordance with the regulations of Ministerial Order No. 1124 of September 19, 2025 on the PhD Programme at the Universities and Certain Higher Artistic
-
PhD fellowship in Experimental Quantum Computing PhD Fellowship in Semiconductor Spin Qubit Control and Quantum Error Correction NQCP, Niels Bohr Institute Faculty of SCIENCE University