Please find below details about a PhD position on "Fault Localization and Explanation for Concurrent Programs" available at Inria Grenoble (France). Deadline for applying: May 1, 2018.
[ https://jobs.inria.fr/public/classic/fr/offres/2018-00510 | https://jobs.inria.fr/public/classic/fr/offres/2018-00510 ] Best wishes, Gwen
_______________________________________________ Om-announce mailing list Om-announce@openmath.org http://mailman.openmath.org/cgi-bin/mailman/listinfo/om-announce
