Commit 27403c32 authored by Dario Pinto's avatar Dario Pinto
Browse files

Add jobs page with translation and internships

parent 279e324d
......@@ -2,7 +2,7 @@
<hr class="featurette-divider">
<h2 class="page-sub-title">State-of-the-art languages for modern solutions</h2>
<h2 class="page-subtitle">State-of-the-art languages for modern solutions</h2>
<br />
We have years of experience on the research and development of programming languages, formal methods techniques and tools as well as their application in industrial settings. Let’s achieve bold projects together!
<br />
......@@ -27,7 +27,7 @@ We have years of experience on the research and development of programming langu
</p>
<hr class="featurette-divider">
<h2 class="page-sub-title">Prototyping software solutions for you</h2>
<h2 class="page-subtitle">Prototyping software solutions for you</h2>
<br />
We design and implement reliable high-value solutions for our clients. As a challenge-driven team, we can find with you the most elegant and efficient solutions to optimize your products or create new ones.
......@@ -106,7 +106,7 @@ We cater to very specific needs. For example, we can translate a “black box”
<hr class="featurette-divider">
<h2 class="page-sub-title">You're in good company</h2>
<h2 class="page-subtitle">You're in good company</h2>
<br />
<br />
......
......@@ -2,21 +2,18 @@
<hr class="featurette-divider">
<h2 id="page-subtitle">Join our team</h2>
<h2 class="page-subtitle">Join our team</h2>
OCamlPro est une entreprise française implantée à Paris (Alésia), créée en 2011 par d’anciens chercheurs de l’INRIA. Nous concevons et mettons en oeuvre des logiciels de grande valeur pour nos clients et nous possédons une longue expérience dans le développement et la maintenance d’outils open source pour OCaml.
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.
**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.
Vous souhaitez rejoindre notre équipe ? Nous recherchons des développeurs OCaml passionnés, avec différents niveaux de compétences et d’expérience, du master au PhD ++. Chaque développeur d’OCamlPro travaille généralement à la fois sur des projets à long terme et des projets plus courts axés sur le client, dans de nombreux domaines de l’industrie.
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!
Proposez votre candidature spontanée. Envoyez-nous votre CV ainsi qu’une description de quelques unes de vos réalisations à l’adresse suivante : contact@ocamlpro.com. Nous étudions avec intérêt toutes les candidatures. À bientôt !
Nous pouvons accueillir des thèses CIFRE.
We do accept industry oriented doctoral theses (CIFRE PhDs)!
<hr class="featurette-divider">
<h2 id="page-subtitle">Looking for an internship ?</h2>
<h2 class="page-subtitle">Looking for an internship?</h2>
<br />
<div class="row">
<div class="col-lg-4">
......@@ -41,7 +38,9 @@ Nous pouvons accueillir des thèses CIFRE.
Stage 3-6 mois, niveau M1 à M2 Recherche
</div>
<div class="card-body">
<h5 class="card-title">Alt-Ergo Fuzz</h5>
<h5 class="card-title">
Alt-Ergo Fuzz
</h5>
<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>
......@@ -49,4 +48,121 @@ Nous pouvons accueillir des thèses CIFRE.
</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">
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>
<a href="/assets/pdf/stage_alt_ergo_for_the_windows.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
</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>
<a href="/assets/pdf/stage_alt_ergo_on_the_bench.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
</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>
<a href="/assets/pdf/stage_generalisation_recursion_terminale_moduloconstructeur1.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
</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>
<a href="/assets/pdf/stage_ameliorations_application_web_try_ocaml.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
</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>
<a href="/assets/pdf/stage_detection_fonction_identite_compilation.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
</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>
<a href="/assets/pdf/opamdocs.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
</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>
<a href="/assets/pdf/stage_interface_graphique_gestion_paquets_ocaml.pdf" class="btn btn-primary">Description détaillée (pdf)</a>
</div>
</div>
</div>
</div>
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment