[english below]


Le laboratoire Preuves, Programmes et Systèmes [2] cherche à recruter un
programmeur OCaml en tant qu'ingénieur de recherche pour une durée

de deux ans.


Mots clés : Ocsigen, applications Web, MOOC, programmation réactive, OCaml


Activité :


L'ingénieur de recherche sera intégré à l'équipe de développement de

la plateforme Web Ocsigen [1] dans le cadre du projet FUI "Ubiquitus
Content Framework". Il travaillera sur la création d'un prototype
d'application de diffusion de contenus multimedia, et participera à la
réflexion sur les techniques de programmation d'une telle application,
notamment grâce à la programmation réactive/synchrone. Il participera à
l'amélioration et la maintenance du projet Ocsigen (compilateur
Js_of_ocaml, framework Eliom et serveur Web, notamment).


Le travail aura lieu au sein de l'IRILL [3]

(Initiative pour la Recherche et l'Innovation sur le Logiciel Libre),

dans le 13e arrondissement de Paris.


Contexte :


Ocsigen est un plateforme libre de développement Web, contenant notamment
un compilateur OCaml vers Javascript (Js_of_ocaml) et un framework (Eliom)
permettant d'écrire une application Web client/serveur comme un seul
programme OCaml.


Le laboratoire Preuves, Programmes et Systèmes [2] (UMR CNRS, université

Paris Diderot Paris 7) a pour thème principal l'étude des langages de

programmation et des systèmes distribués, et de leurs fondements

logiques. Cela s'accompagne d'une importante activité de développement

logiciel, principalement en OCaml (par exemple Menhir, Unison...).

Les thèmes principaux vont du Web (Ocsigen, CDuce, Xduce, Polipo),

aux threads et la programmation parallèle (Lwt, OcamlP3L, CPC), du

réseau (Babel) à la gestion de grandes masses de composants

logiciels (Debian, Edos, Mancoosi), et à la preuve de programmes (Coq,...).


L'IRILL [3] est un centre de référence sur la recherche et le développement
de logiciels libres sûrs et fiables, participant, en articulation avec
d'autres

initiatives, à la fédération des acteurs du logiciel libre. L'IRILL est
aussi un observatoire et un centre d'expérimentation sur le transfert en

logiciel libre.



Compétences :


- Bonne maîtrise du langage Objective Caml

- Connaissance des standards du Web

- Titre d'ingénieur ou doctorat (master suffisant sous conditions)


Contacts:

Vincent Balat et Jérôme Vouillon:

{Vincent.Balat || Jerome.Vouillon} @pps.univ-paris-diderot.fr



[1] http://www.ocsigen.org

[2] http://www.pps.jussieu.fr

[3] http://www.irill.org


===================================================================


The PPS laboratory [2] is hiring a Research Engineer with good

skills in OCaml programming for 2 years.


Keywords: Ocsigen, Web applications, MOOC, reactive programming, OCaml


Task:


The engineer will join the Ocsigen [1] development team, as

member of a research/industry project called "Ubiquitus Content Framework".

She/he will work on the implementation of an application prototype for
streaming multimedia content, and will participate in the reflexion about
Web programming techniques for such applications, using
reactive/synchronous programming. She/he will take part in improving and
maintaining the projects of the Ocsigen framework (Js_of_Ocaml, Eliom,
Server, etc.)


The work will take place in the new research center on free/open source
software (IRILL) [3] in Paris.



About Ocsigen:


Ocsigen is an open source Web development framework, containing, amongst
other projects, a compiler from OCaml to JS (Js_of_ocaml) and libraries
(Eliom) to develop client server Web applications fully in OCaml, as a
single program.


About PPS:


PPS is an A-ranked CNRS laboratory of the University Paris

Diderot Paris 7. One of its main research topics is the the

study of programming languages and distributed systems and their

logical foundations. The research activity is associated with an

important software development activity, mainly in OCaml

(for example Menhir, Unison). The main themes span from the

Web (Ocsigen, CDuce, Xduce, Polipo) to parallel programming (Lwt, OcamlP3L,

CPC), from networks (Babel) to the management of software packages

(Debian, Edos, Mancoosi) and proof assistants (Coq).


About the IRILL:


The IRILL is an international research centre on free/open source

software located in Paris. IRILL's objective is a reference

center for the research and development of stable and reliable free

software. IRILL is also an observatory and experimental centre for transfer
using free software.



Required skills:


- Expertise in OCaml programming

- Knowledge of Web standards

- Engineer or PhD degree (master may be sufficient under conditions)


Contacts:

Vincent Balat and Jérôme Vouillon:

{Vincent.Balat || Jerome.Vouillon} @pps.jussieu.fr



[1] http://www.ocsigen.org

[2] http://www.pps.jussieu.fr

[3] http://www.irill.org