internships.md 7.08 KB
Newer Older
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
<h1 id="page-title">Internships @ OCamlPro</h1>

<hr class="featurette-divider">
<h2 class="page-subtitle">Looking for an internship?</h2>
<br />
<div class="row">
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
          Améliorations pour l’application web Try OCaml
      </div>
      <div class="card-body">
        <h5 class="card-title">
          <a href="assets/pdf/stage_ameliorations_application_web_try_ocaml.pdf" class="btn btn-primary">
            Stage 3-6 mois, niveau M1 à M2 (PDF)
          </a>
        </h5>
        <p class="card-text">
          Fonctionnelle et plébiscitée par la communauté OCaml, cette nouvelle version est cependant toujours en version “Beta”, et nous aimerions y apporter une gamme d’améliorations de petite et plus grande envergure. Les objectifs pourront porter sur l’amélioration de l’interface et des fonctionnalités OCaml et Web.
        </p>
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
27
        Généralisation de la Récursion terminale modulo constructeur
28 29 30
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
31 32 33
          <a href="assets/pdf/stage_generalisation_recursion_terminale_moduloconstructeur1.pdf" class="btn btn-primary">
            Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
          </a>
34 35
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
36
          L’objectif de ce stage est d’étudier et implémenter cette généralisation. Le stage se déroulera au sein de l’équipe flambda chez OCamlPro qui développe des optimisations sur le langage OCaml.
37 38 39 40 41 42 43
        </p>
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
44
        Interface Graphique pour la Gestion de Paquets d’OCaml
45 46 47
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
48 49 50
          <a href="assets/pdf/stage_interface_graphique_gestion_paquets_ocaml.pdf" class="btn btn-primary">
            Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
          </a>
51 52
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
53
          L’objectif de ce stage est de développer une interface graphique pour opam pour permettre à ses utilisateurs débutants d’accéder rapidement à ses fonctionnalités les plus avancées, tout en rendant la gestion au quotidien de multiples installations d’OCaml plus facile.
54 55 56 57 58 59 60 61 62 63
        </p>
      </div>
    </div>
  </div>
</div>
<br />
<div class="row">
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
64
          Détection de logique minimale d'un problème SMT
65 66 67
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
68
          <a href="assets/pdf/stage_detection_de_logique_minimale_d_un_probleme_smt2.pdf" class="btn btn-primary">Stage 5-6 mois, niveau M1 à M2 (PDF)</a>
69 70
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
71
          La première tâche du stage consistera à établir une liste de critères qui permet de déterminer la logique minimale d’un problème SMTLIB2, et la deuxième partie du stage sera d’implémenter ces critères dans Dolmen.
72 73 74 75 76 77 78
        </p>
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
79
        Développement d’une plateforme de documentation pour une distribution OCaml
80 81 82
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
83
        <a href="assets/pdf/stage_opamdocs.pdf" class="btn btn-primary">
84 85 86 87
          Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
        </a>
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
88 89
          L’objectif de ce stage est de développer une version dynamique de ce site, d’améliorer la génération de la documentation et son ergonomie, et de permettre de naviguer facilement dans les sources des paquets.
         </p>
90 91 92
      </div>
    </div>
  </div>
Dario Pinto's avatar
Dario Pinto committed
93 94 95 96 97
</div>
<hr class="featurette-divider">
<h2 class="page-subtitle">Past internships</h2>
<br />
<div class="row">
98 99 100
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
101
        Détection de fonction identité à la compilation
102 103 104
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
105 106 107
        <a href="assets/pdf/stage_detection_fonction_identite_compilation.pdf" class="btn btn-primary">
          Stage 6 mois, niveau M2 Recherche (PDF)
        </a>
108 109
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
110
          L’objectif est d’étudier la faisabilité de cette analyse, y compris documenter les choix possibles et leurs avantages et désavantages respectifs. Le stage se déroulera au sein de l’équipe flambda qui développe des optimisations sur le langage OCaml. Le travail réalisé a vocation à être intégré au compilateur officiel par l’équipe flambda par la suite.
111 112 113 114 115 116 117
        </p>
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
118
        Alt-Ergo for the Win(dows) 
119 120 121
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
122
        <a href="assets/pdf/stage_alt_ergo_for_the_windows.pdf" class="btn btn-primary">Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)</a>
123 124
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
125 126
          Le but premier de ce stage sera de compiler Alt-Ergo sous windows grâce aux outils de la communauté comme la cross compilation de Dune ou opam-cross-windows. Le second but de ce stage sera de mettre en place une intégration continue de cette compilation sous windows sur le dépot Github d’Alt-Ergo via des services comme Azure de Microsoft.
        </p>
127 128 129 130 131 132
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
133
        Alt-Ergo Fuzz
134 135 136
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
137 138 139
        <a href="assets/pdf/stage_alt_ergo_fuzz.pdf" class="btn btn-primary">
          Stage 3-6 mois, niveau M1 à M2 Recherche (PDF)
        </a>
140 141
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
142
          Le premier but de ce stage serait de faire un état des lieux des travaux effectués sur le fuzzing des outils supportant le standard smt-lib, ainsi qu’étudier les résultats de tels outils de fuzzing sur Alt-Ergo. Dans un second temps, le but sera de créer un fuzzer pour le langage d’entrée d’Alt-Ergo.
143 144 145 146
        </p>
      </div>
    </div>
  </div>
Dario Pinto's avatar
Dario Pinto committed
147 148
</div>
<div class="row">
149 150 151
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
Dario Pinto's avatar
Dario Pinto committed
152
          Alt-Ergo on the bench
153 154 155
      </div>
      <div class="card-body">
        <h5 class="card-title">
Dario Pinto's avatar
Dario Pinto committed
156 157
          <a href="assets/pdf/stage_alt_ergo_on_the_bench.pdf" class="btn btn-primary">
            Stage 3-6 mois, niveau M1 à M2 (PDF)
158 159 160
          </a>
        </h5>
        <p class="card-text">
Dario Pinto's avatar
Dario Pinto committed
161
          La première tâche du stage serait de renforcer la mise en place et l’intégration de l’outil benchpress de Simon Cruanes sur notre serveur. La seconde tâche concernera l’automatisation de tests. Pour cela nous souhaiterions mettre en place un système qui teste notre branche principale du dépôt Github d’Alt-Ergo dès que cette dernière est modifiée.
162 163 164 165 166
        </p>
      </div>
    </div>
  </div>
</div>