jobs.md 8.02 KB
Newer Older
zapashcanon's avatar
zapashcanon committed
1 2 3 4
<h1 id="page-title">Jobs @ OCamlPro</h1>

<hr class="featurette-divider">

5
<h2 class="page-subtitle">Join our team</h2>
zapashcanon's avatar
zapashcanon committed
6

7
OCamlPro is a French company located in Alésia, Paris, it was founded in 2011 by ex [INRIA](https://www.inria.fr/fr) researchers. We design and develop softwares of great value to our clients and we benefit from extensive experience in developping and maintaining tools for OCaml.
zapashcanon's avatar
zapashcanon committed
8

9
**Do you wish to join our team?** We are looking for passionate OCaml developpers of varied skill levels from Master's Degree up to and beyond PhD. Each developper here works not only on long term projects but also short term client oriented ones, in numerous domains of the industry.
zapashcanon's avatar
zapashcanon committed
10

11
Do offer your spontaneous application! Send us your resume as well as a few of your personal achievements at the following email address: [contact@ocamlpro.com](contact@ocamlpro.com). We consider every application with great interest! See you soon!
zapashcanon's avatar
zapashcanon committed
12

13
We do accept industry oriented doctoral theses (CIFRE PhDs)!
zapashcanon's avatar
zapashcanon committed
14 15

<hr class="featurette-divider">
16
<h2 class="page-subtitle">Looking for an internship?</h2>
zapashcanon's avatar
zapashcanon committed
17 18 19 20 21 22 23 24 25 26 27 28 29 30
<br />
<div class="row">
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 5-6 mois, niveau M1 à M2
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Détection de logique minimale d'un problème SMT
        </h5>
        <p class="card-text">
          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.
        </p>
31
        <a href="assets/pdf/detection_de_logique_minimale_d_un_probleme_smt2.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
zapashcanon's avatar
zapashcanon committed
32 33 34 35 36 37 38 39 40
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 3-6 mois, niveau M1 à M2 Recherche
      </div>
      <div class="card-body">
41 42 43
        <h5 class="card-title">
          Alt-Ergo Fuzz
        </h5>
zapashcanon's avatar
zapashcanon committed
44 45 46
        <p class="card-text">
          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.
        </p>
47
        <a href="assets/pdf/stage_alt_ergo_fuzz.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
zapashcanon's avatar
zapashcanon committed
48 49 50
      </div>
    </div>
  </div>
51 52 53 54 55 56 57 58 59 60 61 62
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 3-6 mois, niveau M1 à M2 Recherche
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Alt-Ergo for the Win(dows)
        </h5>
        <p class="card-text">
          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>
63
        <a href="assets/pdf/stage_alt_ergo_for_the_windows.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81
      </div>
    </div>
  </div>
</div>
<br />
<div class="row">
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 3-6 mois, niveau M1 à M2
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Alt-Ergo on the bench
        </h5>
        <p class="card-text">
          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.
        </p>
82
        <a href="assets/pdf/stage_alt_ergo_on_the_bench.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
83 84 85 86 87 88 89 90 91 92 93 94 95 96 97
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 3-6 mois, niveau M1 à M2 Recherche
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Généralisation de la Récursion terminale modulo constructeur
        </h5>
        <p class="card-text">
          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.
        </p>
98
        <a href="assets/pdf/stage_generalisation_recursion_terminale_moduloconstructeur1.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
99 100 101 102 103 104 105 106 107 108 109 110 111 112 113
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 3-6 mois, niveau M1 à M2
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Améliorations pour l’application web Try OCaml
        </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>
114
        <a href="assets/pdf/stage_ameliorations_application_web_try_ocaml.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131
      </div>
    </div>
  </div>
</div>
<div class="row">
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 6 mois, niveau M2 Recherche
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Détection de fonction identité à la compilation
        </h5>
        <p class="card-text">
          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.
        </p>
132
        <a href="assets/pdf/stage_detection_fonction_identite_compilation.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
133 134 135 136 137 138 139 140 141 142 143 144 145 146 147
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 3-6 mois, niveau M1 à M2 Recherche
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Développement d’une plateforme de documentation pour une distribution OCaml
        </h5>
        <p class="card-text">
          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>
148
        <a href="assets/pdf/opamdocs.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
149 150 151 152 153 154 155 156 157 158 159 160 161 162 163
      </div>
    </div>
  </div>
  <div class="col-lg-4">
    <div class="card">
      <div class="card-header">
        Stage 3-6 mois, niveau M1 à M2 Recherche
      </div>
      <div class="card-body">
        <h5 class="card-title">
          Interface Graphique pour la Gestion de Paquets d’OCaml
        </h5>
        <p class="card-text">
          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.
        </p>
164
        <a href="assets/pdf/stage_interface_graphique_gestion_paquets_ocaml.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
165 166 167
      </div>
    </div>
  </div>
zapashcanon's avatar
zapashcanon committed
168
</div>