Position available: research engineer

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

Keywords: XML, 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 CNRS laboratory of the University Paris Diderot Paris 7 ranked A+.
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

_______________________________________________________________________

XML-DEV is a publicly archived, unmoderated list hosted by OASIS
to support XML implementation and development. To minimize
spam in the archives, you must subscribe before posting.

[Un]Subscribe/change address: http://www.oasis-open.org/mlmanage/
Or unsubscribe: xml-dev-unsubscribe@l...
subscribe: xml-dev-subscribe@l...
List archive: http://lists.xml.org/archives/xml-dev/
List Guidelines: http://www.oasis-open.org/maillists/guidelines.php