* [Caml-list] Two master internship proposals to explore social and technical aspects of the creation of the OCaml and Coq platforms
@ 2020-01-24 14:03 Yann Régis-Gianas
0 siblings, 0 replies; only message in thread
From: Yann Régis-Gianas @ 2020-01-24 14:03 UTC (permalink / raw)
To: Ocaml Mailing List
Dear Caml hackers,
we are looking for candidates for the following two internships
intended to prefigure the creation of the OCaml and Coq 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 Software Foundation) and Théo
Zimmermann (Inria, IRIF, Coq development team)
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-01-24 14:03 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-01-24 14:03 [Caml-list] Two master internship proposals to explore social and technical aspects of the creation of the OCaml and Coq platforms Yann Régis-Gianas
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox