2 proof-checking-postdoc-computer-science-logic PhD positions at KU LEUVEN in computer-science
-
Engineering » Computer engineering Engineering » Knowledge engineering Mathematics » Algorithms Mathematics » Mathematical logic Technology » Computer technology Technology » Knowledge technology Researcher
-
through the Research Foundation – Flanders (FWO) SBO programme. The project brings together expertise in agricultural and environmental economics, nutrition, consumer behaviour, data science, sustainability
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions in computer-science