From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.2 required=5.0 tests=AWL,HTML_MESSAGE autolearn=disabled version=3.1.3 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 6F0D0BC37 for ; Tue, 12 May 2009 14:55:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AncCAEcOCUqGnQCBfWdsb2JhbACBUFYtlEEBAQsLCAcRBaQDkHuCLwqBSQWIRg X-IronPort-AV: E=Sophos;i="4.41,182,1241388000"; d="scan'208,217";a="26024135" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 12 May 2009 14:55:54 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.3/jtpda-5.4) with ESMTP id n4CCtoHp019140 for ; Tue, 12 May 2009 14:55:52 +0200 (CEST) X-Ids:164 Received: from magnesium.localnet (balat@magnesium.pps.jussieu.fr [134.157.168.12]) by hydrogene.pps.jussieu.fr (8.13.4/jtpda-5.4) with ESMTP id n4CCtnj6031081 for ; Tue, 12 May 2009 14:55:49 +0200 From: Vincent Balat Organization: Laboratoire PPS - CNRS - =?utf-8?q?Universit=C3=A9_Paris?= Diderot To: OCaml List Subject: Job Announcement in Paris (CDuce and Ocsigen) Date: Tue, 12 May 2009 14:56:14 +0200 User-Agent: KMail/1.11.2 (Linux/2.6.26-1-amd64; KDE/4.2.2; x86_64; ; ) MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="Boundary-00=_uHXCK313J4p4MUZ" Content-Transfer-Encoding: 7bit Content-Disposition: inline Message-Id: <200905121456.14763.vincent.balat@pps.jussieu.fr> X-Greylist: Sender IP whitelisted, not delayed by milter-greylist-4.0.1 (shiva.jussieu.fr [134.157.0.164]); Tue, 12 May 2009 14:55:52 +0200 (CEST) X-Virus-Scanned: ClamAV 0.94.2/9354/Tue May 12 04:26:05 2009 on shiva.jussieu.fr X-Virus-Status: Clean X-Miltered: at jchkmail2.jussieu.fr with ID 4A0971D7.001 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4A0971D7.001/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-j-chkmail-Score: MSGID : 4A0971D7.001 on jchkmail2.jussieu.fr : j-chkmail score : . : R=. U=. O=. B=0.003 -> S=0.003 X-j-chkmail-Status: Ham X-Spam: no; 0.00; cduce:01 l'annonce:01 cduce:01 ocaml:01 saclay:01 diderot:01 xduce:01 coq:01 ocaml:01 castagna:01 castagna:01 algorithmes:01 saclay:01 umr:01 diderot:01 X-Attachments: cset="utf-8" cset="utf-8" --Boundary-00=_uHXCK313J4p4MUZ Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable [Version fran=C3=A7aise de l'annonce =C3=A0 la fin] Position available: research engineer The PPS laboratory (http://pps.jussieu.fr) is recruiting an Research Engine= er 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: =2D its use with the Ocsigen Web server [2] =2D import export and composition of Web services =2D integration with XProc [3] =2D 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 languag= es 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,=20 OcamlP3L), from networks (Babel) to the management of software packages (Ed= os,=20 Mancoosi) and proof assistants (Coq). Required skills: =2D Expertise in OCaml programming =2D Knowledge of Web standards =2D 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 =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D Offre d'emploi : ing=C3=A9nieur de recherche Le laboratoire Preuves, Programmes et Syst=C3=A8mes souhaite recruter un programmeur OCaml en tant qu'ing=C3=A9nieur de recherche pour une dur=C3=A9e de deux ans (22 mois) a partir de l'automne 2009. Mots cl=C3=A9s : CDuce, Ocsigen, services Web, Ocaml Activit=C3=A9: L'ing=C3=A9nieur de recherche sera int=C3=A9gr=C3=A9 au projet ANR Codex (P= erformance, =C3=A9volution et composition pour XML : mod=C3=A8les, algorithmes et syst= =C3=A8mes). http://codex.saclay.inria.fr Sa mission sera de travailler sur le langage CDuce [1], et notamment : =2D son utilisation avec le serveur Web Ocsigen [2] =2D import export et composition de services Web =2D int=C3=A9gration avec XProc [3] =2D maintenance de la distribution de CDuce Selon les comp=C3=A9tences, la personne recrut=C3=A9e pourra aussi assumer = de taches plus de la recherche telle, par exemple, l'extension de CDuce par le polymorphisme param=C3=A9trique. Contexte : Le laboratoire Preuves, Programmes et Syst=C3=A8mes (UMR CNRS, universit=C3= =A9 Paris Diderot Paris 7) a pour th=C3=A8me principal l'=C3=A9tude des langage= s de programmation et des syst=C3=A8mes distribu=C3=A9s, et de leurs fondements logiques. Cela s'accompagne d'une importante activit=C3=A9 de d=C3=A9velopp= ement logiciel, allant du Web (Ocsigen, CDuce, Xduce, Polipo), aux threads et la programmation parall=C3=A8le (CPC, Lwt, OcamlP3L), du r=C3=A9seau (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=C3=A9tences : =2D Bonne ma=C3=AEtrise du langage Objective Caml =2D Connaissance des standards Web =2D Titre d'ing=C3=A9nieur 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 --Boundary-00=_uHXCK313J4p4MUZ Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable p, li { white-space: pre-wrap; }[Version fran=C3=A7aise de l'annonce =C3=A0 la fin]


Position available: research engineer


The PPS laboratory (http://pps.jussieu.fr) is recruit= ing an Research Engineer
for 2 years (22 months) possessing a good skill in (Ca)ML programming. The<= br> 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:
=2D its use with the Ocsigen Web server [2]
=2D import export and composition of Web services
=2D integration with XProc [3]
=2D 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 P= aris Diderot Paris 7.
One of its main research topics is the the study of the programming languag= es
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, Ocam= lP3L), from networks (Babel) to the management of software packages (Edos, = Mancoosi) and proof assistants (Coq).



Required skills:


- Expertise in OCaml programming
=2D Knowledge of Web standards
=2D 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



=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D=3D= =3D=3D=3D=3D=3D=3D=3D



Offre d'emploi : ing=C3=A9nieur= de recherche


Le laboratoire Preuves, Programmes et Syst=C3=A8mes s= ouhaite recruter un
programmeur OCaml en tant qu'ing=C3=A9nieur de recherche pour une dur=C3=A9= e
de deux ans (22 mois) a partir de l'automne 2009.



Mots cl=C3=A9s : CDuce, Ocsigen= , services Web, Ocaml



Activit=C3=A9:



L'ing=C3=A9nieur de recherche s= era int=C3=A9gr=C3=A9 au projet ANR Codex (Performance,
=C3=A9volution et composition pour XML : mod=C3=A8les, algorithmes et syst= =C3=A8mes).
http://codex.saclay.inria.fr
Sa mission sera de travailler sur le langage CDuce [1], et notamment :
=2D son utilisation avec le serveur Web Ocsigen [2]
=2D import export et composition de services Web
=2D int=C3=A9gration avec XProc [3]
=2D maintenance de la distribution de CDuce
Selon les comp=C3=A9tences, la personne recrut=C3=A9e pourra aussi assumer = de
taches plus de la recherche telle, par exemple, l'extension de CDuce
par le polymorphisme param=C3=A9trique.




Contexte = :


Le laboratoire Preuves, Programmes et Syst=C3=A8mes (= UMR CNRS, universit=C3=A9
Paris Diderot Paris 7) a pour th=C3=A8me principal l'=C3=A9tude des langage= s de
programmation et des syst=C3=A8mes distribu=C3=A9s, et de leurs fondements<= br> logiques. Cela s'accompagne d'une importante activit=C3=A9 de d=C3=A9velopp= ement
logiciel, allant du Web (Ocsigen, CDuce, Xduce, Polipo),
aux threads et la programmation parall=C3=A8le (CPC, Lwt, OcamlP3L), du
r=C3=A9seau (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=C3=A9tences :


- Bonne ma=C3=AEtrise du langage Objective Caml
=2D Connaissance des standards Web
=2D Titre d'ing=C3=A9nieur 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

--Boundary-00=_uHXCK313J4p4MUZ--