2 parallel-programming "Max Planck Institute for Human Development" PhD positions at UCL
Sort by
Refine Your Search
-
Category
-
Field
-
with the ARIA Safeguarded AI programme project “Data-Parallel Proof Checking for Monoidal Theories”, led by Professor Fabio Zanasi within the Programming Principles, Logic and Verification (PPLV
-
degree with sufficient mathematics content to fulfil these duties. The department offers training for new teaching assistants and there are opportunities to avail of further development with UCL’s
Enter an email to receive alerts for parallel-programming "Max Planck Institute for Human Development" positions