42 proof-checking-postdoc-computer-science-logic Postdoctoral positions at Leibniz in Germany
Sort by
Refine Your Search
-
interdisciplinary project seeks to develop new approaches to resilient and sustainable urban development, in cooperation with Karlsruhe Institute of Technology (KIT) and RWTH Aachen. For the subproject based
-
guided by the values of open science. In addition, ZPID is currently establishing research groups in meta-science and science acceptance. Join the growing ZPID team! Current opening: Postdoctoral
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions