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 _______________________________________________ Om-announce mailing list [email protected] http://openmath.org/mailman/listinfo/om-announce
