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.