1 proof-checking-postdoc-computer-science-logic Postdoctoral positions in Belgium

Sort by

listed

Filtered by
Belgium
Postdoctoral
proof-checking-postdoc-computer-science-logic
Remove All

Refine Your Search

Sort by: relevance | listed |

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions

PostDoc in Combinatorial Optimization (Proof Logging / Explanations)

KU LEUVEN | Belgium | 29 days ago

3 Oct 2025 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Modelling tools Computer science » Informatics Mathematics » Mathematical logic Researcher Profile

Searches related to proof checking postdoc computer science logic

Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions