The CONVECS (Inria Grenoble / LIG) and CTSYS (LCIS Valence) teams are offering a fixed term (3 years) PhD position for research on formal methods for the testing of networks of controllers.
See http://convecs.inria.fr/jobs/2016c.html for details. Applications after July might not be considered. Regards, Wendelin Serwe -- Inria/LIG - Convecs, Inovallee, CS 90051 38334 Montbonnot Cedex, FRANCE Tel: (+33) 4 76 61 53 52, Fax: (+33) 4 76 61 52 52 ---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
