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)