Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms

[Zimmi48]

We are looking for candidates for the following two internships intended to prefigure the creation of the Coq and OCaml platforms:

• a first internship is focused on exploring technical aspects: https://www.irif.fr/_media/users/theo/internship_proposal_platform_tech.pdf
• a second internship is focused on exploring social and policy aspects: https://www.irif.fr/_media/users/theo/internship_proposal_platform_social.pdf

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)