@@ -28,7 +28,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -44,7 +44,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -60,7 +60,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -79,7 +79,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -95,7 +95,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -111,7 +111,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -129,7 +129,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -145,7 +145,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
@@ -161,7 +161,7 @@ We do accept industry oriented doctoral theses (CIFRE PhDs)!
<pclass="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.
This course has been designed by the OCamlPro team to enable developers to build upon their experience of other programming languages, such as C, C++, Python, C# or Java, to program confidently in OCaml. This covers all the main aspects of the OCaml language and tools and interleaves theory and practice. Depending on the duration and the customer needs, we can focus more on specific topics and design suitable learning projects.
<arole="button"class="btn btn-primary"href="/course_ocaml_development">Learn more about this training</a>
<arole="button"class="btn btn-primary"href="course_ocaml_development">Learn more about this training</a>
<br/>
<br/>
<br/>
...
...
@@ -27,13 +27,13 @@ This course has been designed by the OCamlPro team to enable developers to build
<br/>
<imgsrc="/assets/img/logo_ocaml.svg"/>
<imgsrc="assets/img/logo_ocaml.svg"/>
<br/>
This training has been designed by the OCamlPro team to enable developers to use more advanced features of OCaml powerful type-system, benefit from all the open-source tools and libraries, and to write compact and efficient code. Learn more about this training.
<arole="button"class="btn btn-primary"href="/course_ocaml_expert">Learn more about this training</a>
<arole="button"class="btn btn-primary"href="course_ocaml_expert">Learn more about this training</a>
<hrclass="featurette-divider">
...
...
@@ -43,14 +43,14 @@ This training has been designed by the OCamlPro team to enable developers to use
<br/>
<imgsrc="/assets/img/logo_rust.svg"/>
<imgsrc="assets/img/logo_rust.svg"/>
<br/>
<br/>
We have designed the Rust Training as a highly-modular vocational course to enable developers to learn Rust. This young systems language has a strong focus on safety, efficiency and safe concurrency, with C/C++ like performance. The training covers a beginner introduction to Rust’s basics features, crucial features and libraries for real-life development and advanced features. Each part will be further demonstrated through complex use-cases. Learn more about this training.
<arole="button"class="btn btn-primary"href="/course_rust_vocational_training">Learn more about this training</a>
<arole="button"class="btn btn-primary"href="course_rust_vocational_training">Learn more about this training</a>
<hrclass="featurette-divider">
...
...
@@ -62,13 +62,13 @@ We have designed the Rust Training as a highly-modular vocational course to enab
<br/>
<imgsrc="/assets/img/logo_ocaml.svg"/>
<imgsrc="assets/img/logo_ocaml.svg"/>
<br/>
This training has been designed by the OCaml team to focus specifically on writing the most efficient code for demanding applications. Participants will benefit from the direct involvement of the OCamlPro team in the development of OCaml compilers. Learn more about this training.
<arole="button"class="btn btn-primary"href="/course_ocaml_code_opti">Learn more about this training</a>
<arole="button"class="btn btn-primary"href="course_ocaml_code_opti">Learn more about this training</a>
<hrclass="featurette-divider">
...
...
@@ -79,14 +79,14 @@ This training has been designed by the OCaml team to focus specifically on writi
<br/>
<imgsrc="/assets/img/logo_opam.png"/>
<imgsrc="assets/img/logo_opam.png"/>
<br/>
<br/>
The opam source package manager has reached an exceptional popularity in the OCaml world. It can now be seen as the easiest way to install OCaml and its development environment on any computer. But did you know that opam was also designed to integrate nicely in a professional environment and could boost your development productivity too? Learn more about this training.
<arole="button"class="btn btn-primary"href="/course_mastering_opam_ocaml_tools">Learn more about this training</a>
<arole="button"class="btn btn-primary"href="course_mastering_opam_ocaml_tools">Learn more about this training</a>
<hrclass="featurette-divider">
...
...
@@ -97,8 +97,8 @@ The opam source package manager has reached an exceptional popularity in the OCa
<br/>
<imgsrc="/assets/img/logo_custom_training.png"/>
<imgsrc="assets/img/logo_custom_training.png"/>
<br/>
<br/>
OCamlPro offers OCaml courses at all levels world-wide. Courses are adapted to software developers or test and support engineers. We can customize and run any of our regular courses for you at your offices. Our team of engineers can meet your specific needs and tailor a course for your company. <ahref="/contact">Contact us.</a>
OCamlPro offers OCaml courses at all levels world-wide. Courses are adapted to software developers or test and support engineers. We can customize and run any of our regular courses for you at your offices. Our team of engineers can meet your specific needs and tailor a course for your company. <ahref="contact">Contact us.</a>