Jean-Pierre Talpin (in CC) is looking for PhD students at Inria Rennes on projects that could involve a non-trivial amount of F* :)
*De :* fmics-requ...@inria.fr [mailto:fmics-requ...@inria.fr] *De la part de* Jean-Pierre Talpin *Envoyé :* vendredi 9 mars 2018 09:50 *À :* fm...@inrialpes.fr *Objet :* [fmics] Two PhD offers at Inria, Rennes, on refinement types for system design Two competitive PhD offers are available with Inria project-team TEA at Inria-Rennes - IRISA: * "Type theory for modular static analysis of system programs", in collaboration with project-team CELTIQUE Details: https://www.irisa.fr/fr/offres-theses/theorie-types- lanalyse-statique-modulaire-programmes-systeme * "Refinement types for stream-processing systems", in collaboration with team VAADER at IETR, Rennes. Details: https://www.irisa.fr/fr/offres-theses/typage- raffinement-systemes-traitement-du-signal Jean-Pierre Talpin
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club