PhD student position on formal methods for testing of networks of controllers, Grenoble (France)

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.