1 proof-checking-postdoc-computer-science-logic PhD positions at Universität Düsseldorf in Germany
-
) is available within the research group FOR 5456 of the German Science Foundation (DFG). The overarching goal is the first implementation of satellite-based relativistic geodesy using optical atomic
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions