PhD offer on policy-dependent sandboxing with Inria Challenge RIOT-fp at IRISA, Rennes
In the context of Inria Challenge RIOT-fp (https://future-proof-iot.github.io), Inria teams Tea and Celtique are hiring a PhD student, experienced with Coq and F*, to work on policy-dependent sandboxing, using static analyses and verified program transformations. For more details, read https://jobs.inria.fr/public/classic/en/offres/2020-02401
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club