1 proof-checking-postdoc-computer-science-logic PhD positions at BARCELONA SUPERCOMPUTING CENTER
Sort by
Refine Your Search
-
combines HPC service provision 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
Searches related to proof checking postdoc computer science logic
Enter an email to receive alerts for proof-checking-postdoc-computer-science-logic positions