1 proof-checking-postdoc-computer-science-logic positions at Korea Institute For Advanced Study (KIAS)
-
Position Description Founded in 1996, KIAS is committed to the excellence of research in basic sciences, namely mathematics, theoretical physics, and computational sciences, through high-quality
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions