Research Fellow in Data-Parallel Proof Checking for Monoidal Theories
UCL
LondonAbout us UCL's Department of Computer Science (CS) is a top-ranked Computer Science Department in the UK. In the 2021 Research Excellence Framework (REF) evaluation, UCL Computer Science was ranked second in the UK for research power and...Read More>>.
