3 proof-checking-postdoc-computer-science-logic positions at KU LEUVEN in postdoctoral
-
in leading journals and conferences. Support the supervision of MSc and PhD students. We welcome applicants with a PhD in Electrical Engineering, Computer Science, Scientific Computing, Computational
-
14 Jul 2026 Job Information Organisation/Company KU LEUVEN Research Field Computer science » Modelling tools Computer science » Programming Computer science » Systems design Technology » Computer
-
19 Aug 2026 Job Information Organisation/Company KU LEUVEN Research Field Engineering » Electrical engineering Researcher Profile Established Researcher (R3) Application Deadline 16 Sep 2026 - 23:59
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions in postdoctoral