216 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Denmark

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

Postdoc in Medicial Informatics

Aalborg University | Denmark | 8 days ago

At the Faculty of Medicine, Department of Health Science and Technology, a position as Postdoc in Medical Informatics and Image Analysis Group is open for appointment from November 1, 2025 or soon
Postdoc and PhD positions to the Center for Basic Research in Program Verification (CPV) at Department of Computer Science, Aarhus University

Aarhus University | Denmark | 2 days ago

The Department of Computer Science, Aarhus University invites applications for postdocs and PhD students. Supported by a generous ERC Advanced Grant and a Villum Investigator Grant from Villum
Postdoc in Yeast Synthetic Biology for Developing Next-Generation Anti-Fungal Vaccines - DTU Biosustain Postdoc in Bond Decompositions of Chemical Simulations - DTU Chemistry Postdoc in Ontology-Driven Data Integration for Chemical Engineering Digitalization - DTU Chemical Engineering Postdoc in Compilation and Timing Analysis for Real-Time Systems - DTU Compute Postdoc in Organic Industrial Coatings - DTU Chemical Engineering

Technical University of Denmark | Denmark | 10 days ago

or ethnic background are encouraged to apply. As DTU works with research in critical technology, which is subject to special rules for security and export control, open-source background checks may be

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions