OASIS Mailing List ArchivesView the OASIS mailing list archive below
or browse/search using MarkMail.


Help: OASIS Mailing Lists Help | MarkMail Help

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]
Position available: Programming languages for XML

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

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)

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

[Date Prev] | [Thread Prev] | [Thread Next] | [Date Next] -- [Date Index] | [Thread Index]

News | XML in Industry | Calendar | XML Registry
Marketplace | Resources | MyXML.org | Sponsors | Privacy Statement

Copyright 1993-2007 XML.org. This site is hosted by OASIS