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 ------------------------------------------------------------------------------ What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic patterns at an interface-level. Reveals which users, apps, and protocols are consuming the most bandwidth. Provides multi-vendor support for NetFlow, J-Flow, sFlow and other flows. Make informed decisions using capacity planning reports. http://pubads.g.doubleclick.net/gampad/clk?id=1444514421&iu=/41014381 _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
