-
with the ARIA Safeguarded AI programme project “Data-Parallel Proof Checking for Monoidal Theories”, led by Professor Fabio Zanasi within the Programming Principles, Logic and Verification (PPLV
Searches related to proof checking postdoc
Enter an email to receive alerts for proof-checking-postdoc positions