51 proof-checking-postdoc-computer-science-logic positions at University of Copenhagen in Denmark
Sort by
Refine Your Search
-
Postdoc in Organic Chemistry Department of Chemistry Faculty of Science University of Copenhagen The Department of Chemistry, Faculty of Science at University of Copenhagen invites applications
-
The Department of Food Science, section of Ingredient and Dairy Technology, invites applicants for a fulltime postdoctorate fellowship in Food Ingredients Processing. The position is for 2 years
-
. The tasks will require a broad skill set and creativity. You will work together with other members of the research team, and be involved in data handling, analysis, and dissemination of results besides the
-
We are looking for a highly motivated postdoc to join the Cvejic Lab with the commence date of July 15th, 2025 or soon thereafter. Information on the department can be found at: BRIC – University
-
Postdoctorate Fellowships or Assistant Professors in Explainable and Scalable Symbolic AI for Computational Law and Legal Decision-making The Department of Computer Science invites applicants
-
The Department of Food Science invites applicants for a 3-years Postdoctoral fellowship in Food Chemistry and Bioprocessing. The position is part of the Novo Nordisk Foundation funded project
-
The Department of Food Science at the University of Copenhagen (UCPH FOOD) is seeking a highly motivated postdoctoral researcher for a 2-year position, starting 1 September 2025, or as soon as
-
This Post Doc position at the Department of Plant and Environmental Sciences (PLEN), University of Copenhagen, is a 2-year research fellowship within the Algae Biochemistry group led by Assoc
-
The Department of Chemistry invites applicants for a PhD fellowship in computational homogenous catalyst discovery. Start date is 1.9.2025 or as soon as possible thereafter. The project The project
-
. The vision of the programme is to enable the development of fault-tolerant quantum computing hardware and quantum algorithms that solve important problems in the life-sciences. The start date is (expected to