1 distributed-systems Postdoctoral positions at Télécom Paris

Post-doctoral fellow in formal verification of multi-agent systems - 18 months contract

Télécom Paris | Palaiseau, le de France | France | 3 months ago

. The research themes of the Autonomous Critical Embedded Systems (ACES) team revolve around concurrent systems in general (parallel systems, distributed systems, etc.), for which non-functional properties such as