Logic List Mailing Archive

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.

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
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam