From : Théo Zimmermann <theo.zimmi AT gmail.com>

: Théo Zimmermann <theo.zimmi AT gmail.com> To : Coq Club <coq-club AT inria.fr>

: 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

: [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

: 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

: 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

[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

Hello Coq-Club,We are looking for candidates for the following two internshipsintended to prefigure the creation of the Coq and OCaml platforms:- a first internship is focused on exploring technical aspects:- a second internship is focused on exploring social and policyaspects:Please feel free to forward this announcement.Interested students should send their resume and cover letter atyrg AT irif.frandtheo AT irif.fr.Yann Régis-Gianas (Inria, IRIF, OCaml Foundation) and Théo Zimmermann(Inria, IRIF, Coq development team)