1 proof-checking-postdoc-computerscience PhD positions at Universitat Autonoma de Barcelona
Sort by
Refine Your Search
-
. The team currently consists of 3 senior researchers, 1 Ramon y Cajal (RyC) investigator, 1 postdoc, and 4 PhD students. The project will be carried jointly the The Quantum Information Group (GIQ) at UAB
Searches related to proof checking postdoc computerscience
Enter an email to receive alerts for proof-checking-postdoc-computerscience positions