PhD position at INRIA Grenoble on formal methods for testing

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