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
-
-free stipend for 44 months, together with full tuition fees (home or international rate) for the same period, and a research training allowance. During the 2026/27 academic year the stipend amount is
Enter an email to receive alerts for parallel-programming "Academic Europe" positions