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
-
A fully-funded PhD is available from February 2027 to work with Professors Sonya Crowe , Christina Pagel and Nici Zimmermann on an Operational Research / System Dynamics project as part of the NIHR
Enter an email to receive alerts for parallel-phd "Inria" positions