1 proof-checking-postdoc-computer-science-logic Postdoctoral positions at "Alexandru Ioan Cuza" University of Iasi in Austria
-
in the mathematical sciences. It consists of active research groups in a wide range of fields, starting from logical foundations, bridging all classical core subjects, and up to concrete applications
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions