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 :* [] *De la part
de* Jean-Pierre Talpin
*Envoyé :* vendredi 9 mars 2018 09:50
*À :*
*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


* "Refinement types for stream-processing systems", in collaboration with
team VAADER at IETR, Rennes.


Jean-Pierre Talpin
fstar-club mailing list

Reply via email to