[Version française de l'annonce à la fin]

Position available: research engineer

The PPS laboratory (http://pps.jussieu.fr) is recruiting an Research Engineer
for 2 years (22 months) possessing a good skill in (Ca)ML programming. The
position will be available in fall 2009.

Keywords: CDuce, Ocsigen, Web-services, Ocaml


Task:
The recruited person will be integrated to the ANR national project
Codex (http://codex.saclay.inria.fr) and will be asked to work on
the CDuce language [1], in particular:
- its use with the Ocsigen Web server [2]
- import export and composition of Web services
- integration with XProc [3]
- Maintenance of the CDuce distribution
Depending on its skill and background, the recruited person may be given
research oriented task such as but not limited to the extension of
CDuce with polymorphic functions.


About PPS:

PPS is a A-ranked CNRS laboratory of the University Paris Diderot Paris 7.
One of its main research topics is the the study of the programming languages
and distributed system and their logical foundations. The research activity is
coupled with an important software development activity spanning from the
Web (Ocsigen, CDuce, Xduce, Polipo) to parallel programming (CPC, Lwt, 
OcamlP3L), from networks (Babel) to the management of software packages (Edos, 
Mancoosi) and proof assistants  (Coq).


Required skills:

- Expertise in OCaml programming
- Knowledge of Web standards
- Engineer or PhD degree (master is sufficient under some conditions)

Contacts:
Giuseppe Castagna and Vincent Balat:
{Giuseppe.Castagna || Vincent.Balat} @ pps.jussieu.fr


[1] http://www.cduce.org
[2] http://www.ocsigen.org
[3] http://www.xproc.org


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


Offre d'emploi : ingénieur de recherche

Le laboratoire Preuves, Programmes et Systèmes souhaite recruter un
programmeur OCaml en tant qu'ingénieur de recherche pour une durée
de deux ans (22 mois) a partir de l'automne 2009.


Mots clés : CDuce, Ocsigen, services Web, Ocaml


Activité:


L'ingénieur de recherche sera intégré au projet ANR Codex (Performance,
évolution et composition pour XML : modèles, algorithmes et systèmes).
http://codex.saclay.inria.fr
Sa mission sera de travailler sur le langage CDuce [1], et notamment :
- son utilisation avec le serveur Web Ocsigen [2]
- import export et composition de services Web
- intégration avec XProc [3]
- maintenance de la distribution de CDuce
Selon les compétences, la personne recrutée pourra aussi assumer de
taches plus de la recherche telle, par exemple, l'extension de CDuce
par le polymorphisme paramétrique.



Contexte :

Le laboratoire Preuves, Programmes et Systèmes (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, allant du Web (Ocsigen, CDuce, Xduce, Polipo),
aux threads et la programmation parallèle (CPC, Lwt, OcamlP3L), du
réseau (Babel) a la gestion de grandes masses de composants
logiciels (Edos, Mancoosi), et a la preuve de programmes (Coq,...).
http://www.pps.jussieu.fr


Compétences :

- Bonne maîtrise du langage Objective Caml
- Connaissance des standards Web
- Titre d'ingénieur ou doctorat (master suffisant sous conditions)

Contacts:
Giuseppe Castagna et Vincent Balat:
{Giuseppe.Castagna || Vincent.Balat} @pps.jussieu.fr


[1] http://www.cduce.org
[2] http://www.ocsigen.org
[3] http://www.xproc.org