PhD offer on policy-dependent sandboxing with Inria Challenge RIOT-fp at
IRISA, Rennes
In the context of Inria Challenge RIOT-fp
(https://future-proof-iot.github.io), Inria teams Tea and Celtique are
hiring a PhD student, experienced with Coq and F*, to work on
policy-dependent sandboxing,
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