coq-club AT inria.fr

Subject: The Coq mailing list

List archive

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

From: Théo Zimmermann <theo.zimmi AT gmail.com>
To: Coq Club <coq-club AT inria.fr>
Subject: [Coq-Club] Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms
Date: Fri, 24 Jan 2020 14:49:52 +0100
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=theo.zimmi AT gmail.com; spf=Pass smtp.mailfrom=theo.zimmi AT gmail.com; spf=None smtp.helo=postmaster AT mail-ua1-f45.google.com
Ironport-phdr: 9a23:GKJ1xhe9Pkgt8PjcG3W4FPWNlGMj4u6mDksu8pMizoh2WeGdxcS4bR7h7PlgxGXEQZ/co6odzbaP7+a6BSddvN7B6ClELMUXEUddyI0/pE8JOIa9E0r1LfrnPWQRPf9pcxtbxUy9KlVfA83kZlff8TWY5D8WHQjjZ0IufrymUoHdgN6q2O+s5pbdfxtHhCanYbN1MR66sRjdutMZjId/Jas90AXFr3RHd+lWxW5jOFafkwrh6suq85Nv7ipdt+g9+8JcVKnxYrg1Q6FfADk6KW4++dfltQPETQuB53scVnsZnx9VCAXb7x/0Q4n8vDLiuuVyxCeVM8v2TaspWTu59KdkVAXoiCYcODEn9mzcl9F9g7haoBKloBx/3pLUbYSIP/dwYq/RYdUXTndaU81PSyJOHJ+zb4oXD+oAI+lYqZX9p0ATphe6HAWgGf/jxiNNinLwwKY00fkuERve0QMvH9wAvnfaosjrOqgOXu6417XIzSzZYv9KxTvx9IrFfxY8qv+MR7Jwds/RxFExGQPFlFKQrpTqMDCU1uQItmiU8fBgVee1hG4hrQF6vz+ixtssiobXgYIZ0FHF9SR8wIYwJN21U0F7Ydu+H5tRsyGWLZd5QsQnQ2xxvisx17MIuZm+fCcQyZQnwQbSa/2dc4iJ7BLvTuiRIS1+iXl4e7y/nw6//Va8xuD4TMW501ZHojBbntXSqHwBzRPe58iBR/Bg5EmuwyyP2BrW6uxcIUA7i67bK5k5z741jJUTsEDDEjbrmErskaOab0sk9+eo5uj9bbXmoZicN4Bwig7gKKghhsu/AeEgPggPWWiU5/i82aX98UHlRLhGlP47n6nDvJzEO8gXuLS1DgBV34o77hawFTam0NAWnXkdK1JFfQqKj5TpO17QJ/D0F/a+g1WpkDduxvDLJbLhApDXIXjClLftZ6py60lZyAYr19BQ+4pUCq0dIPL0QkL+qNvYDgYgPwOox+bnFc5y25gFWWOPB6+ZKLndvUWJ5uIpOemMZZUatCzzK/g/tLbSiioSnkZVVq2019NDY3ehW/9iPk+xYHz2g95HH31c7SQkS+m/tF0DVglhZnO3Urg57zc9QNa6DYrEAJKshbmA9Ci+F5xSIGtBDwbfQj/Ta4yYVqJUO2qpKch7n2lBDOD5EtJz5VSVrAb/joFfAK/U9ykf78+x0dF046jOnEh3+2ApScua1G6JQid/mWZaH2ZnjpA6mlR0zxK46YY9hvVZEdJJ4PYQC1U1MJfdy6pxDNWgA1udLOfMc06vR5CdOR90Vsg4moZcbEN0GtHkhRfGjXKn

Hello Coq-Club,

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 AT irif.fr
and
theo AT irif.fr.

Yann Régis-Gianas (Inria, IRIF, OCaml Foundation) and Théo Zimmermann
(Inria, IRIF, Coq development team)

[Coq-Club] Two master internship proposals to explore social and technical aspects of the creation of the Coq and OCaml platforms, Théo Zimmermann, 01/24/2020