The Coq mailing list

[Jean-Pierre Talpin <jean-pierre.talpin AT inria.fr>]

PhD project on refinement types for system programs

 

INRIA project-team TEA (time, events and architectures), located at INRIA Rennes (Brittany, France), seeks a highly motivated and experienced PhD candidate for a three years project on the type-based analysis of system programs. The goal of this project is to explore, define and prototype, fundamental aspects toward the construction of stealth and resilient system programs.

 

For more information, see https://www.irisa.fr/prive/talpin/phd2016dga.txt