Dear F* folks, Jean-Pierre Talpin, one of our Inria colleagues who is located in Rennes (in CC), is looking for PhD students on several refinement types projects that could include the use of F* and Low*. If you know anyone who could be interested in this please let them know.
Regards, Catalin PhD - Refinement types for stream processing languages https://www.inria.fr/en/centre/rennes/overview/offers/phd/campaign-2017/(view)/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4509&LOV28=7840&LG=EN&Resultsperpage=10&nPostingID=11169&nPostingTargetID=17755&option=52&sort=DESC&nDepartmentID=28 PhD - Refinement types for cyber-physical system design https://www.irisa.fr/fr/offres-theses/refinement-types-cyber-physical-system-design PostDoc - From liquid types to certified code (deadline passed) https://www.inria.fr/en/institute/recruitment/offers/post-doctoral-research-fellowships/post-doctoral-research-fellowships/(view)/details.html?id=PNGFK026203F3VBQB6G68LOE1&LOV5=4508&LG=EN&Resultsperpage=20&nPostingID=11122&nPostingTargetID=17707&option=52&sort=DESC&nDepartmentID=19 _______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club