Sort by
Refine Your Search
-
Listed
-
Category
-
Country
-
Field
-
for Basic Research in Program Verification (CPV) include: extensions of higher-order concurrent separation logics (such as our Iris logic, see iris-project.org ), e.g., to reason about distributed systems
-
experimentally verified results is a necessary: - Autonomy with collaborative intelligence - Distributed task and motion planning - Predictive collaboration with heterogeneous teaming - Multi-agent navigation in
-
21 Aug 2025 Job Information Organisation/Company MOHAMMED VI POLYTECHNIC UNIVERSITY Research Field Chemistry Engineering Physics Researcher Profile Recognised Researcher (R2) Established Researcher
-
21 Aug 2025 Job Information Organisation/Company MOHAMMED VI POLYTECHNIC UNIVERSITY Research Field Chemistry Engineering Physics Researcher Profile Recognised Researcher (R2) Established Researcher
-
Academic Diplomas (MSc/PhD – in English) List of publications 2 Letters of Reference An explanation of their motivation in response to this project description (~ 300 to 1500 words). This document should