1 proof-checking-postdoc-computer-science-logic Postdoctoral positions at BARCELONA SUPERCOMPUTING CENTER in Spain
-
and R&D into both computer and computational science (life, earth and engineering sciences) under one roof, and currently has over 1000 staff from 60 countries. Look at the BSC experience: BSC-CNS
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions