PhD offer -- verified programming and secure integration of operating system libraries in F*, Inria Rennes, France
At Inria Rennes (Brittany, France) teams Tea and Celtique are hiring a PhD student interested in programming, proof and type theories to participate with Inria Challenge RIOT-fp (https://future-proof-iot.github.io) for the verified programming and secure integration of operating system libraries in F* (MSR-Inria). See https://jobs.inria.fr/public/classic/en/offres/2020-02584 for more details on the call for application. Please feel free to circulate this announcement to prospective students.
_______________________________________________ fstar-club mailing list fstar-club@lists.gforge.inria.fr https://lists.gforge.inria.fr/mailman/listinfo/fstar-club
