Positions available

PhD

• Monitoring and Control of Large Distributed Systems [more details...] [pdf]

• Distributed Optimal Planning for Large Distributed Systems (bi-located France + Australia)  [More details...] [pdf

• Multi-agent belief revision [more details] [contact].

Master

• Failure Diagnosis in Large Distributed Systems [pdf]. contact

• Multi user optimal task scheduling in large distributed games [pdf]. contact

• Distributed Reachability Test in Large Distributed Systems [pdf]. contact

• Du bruit dans la forêt : des arbres communicants pour vérifier et réaliser des Web-Services [pdf] contact

• MARRE !(Mini AXML Réalisé en REST) : Conception d’une plateforme d’expérimentation minimale pour les Web Services  [pdf] contact

• Dépliages à temps réaliste des réseaux d'automates temporisés [pdf] contact

Post Doc

• Communicating Rewriting Systems for Web-Services [French] [English]

Engineer

• ADT : development of the PLASMA tool (statistical Model checking) [more details] contact. 
  

Training

•  No position available for the moment