We are looking for candidates for the following two internships intended to prefigure the creation of the Coq and OCaml platforms:
Please feel free to forward this announcement.
Interested students should send their resume and cover letter at yrg@irif.fr and theo@irif.fr.
Yann Régis-Gianas (Inria, IRIF, OCaml Foundation) and Théo Zimmermann (Inria, IRIF, Coq development team)