From mboxrd@z Thu Jan 1 00:00:00 1970 X-Sympa-To: caml-list@inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7OCEb0Z002419 for ; Wed, 24 Aug 2011 14:14:37 +0200 X-IronPort-AV: E=Sophos;i="4.68,275,1312149600"; d="scan'208,217";a="117011366" Received: from cox.inria.fr (HELO cox.localnet) ([128.93.60.62]) by mail1-relais-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 24 Aug 2011 14:14:37 +0200 From: Vincent Balat Organization: PPS =?utf-8?q?Universit=C3=A9_Paris?= Diderot To: OCaml Mailing List Date: Wed, 24 Aug 2011 14:14:37 +0200 User-Agent: KMail/1.13.7 (Linux/2.6.32-5-amd64; KDE/4.6.3; x86_64; ; ) X-KMail-Markup: true MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="Boundary-01=_tsOVOhKS3aaRfmG" Content-Transfer-Encoding: 7bit Message-Id: <201108241414.37256.vincent.balat@univ-paris-diderot.fr> X-Validation-by: vincent.balat@univ-paris-diderot.fr Subject: [Caml-list] Job offer: Ocaml/Ocsigen research engineer --Boundary-01=_tsOVOhKS3aaRfmG Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable [english below] Offre d'emploi : ing=C3=A9nieur de recherche Ocsigen L'IRILL [3] et le laboratoire Preuves, Programmes et Syst=C3=A8mes [2] cher= chent =C3=A0=20 recruter un programmeur OCaml en tant qu'ing=C3=A9nieur de recherche pour u= ne dur=C3=A9e d'un an. Mots cl=C3=A9s : Ocsigen, applications Web, gestion de contenu, OCaml Activit=C3=A9: L'ing=C3=A9nieur de recherche sera int=C3=A9gr=C3=A9 =C3=A0 l'=C3=A9quipe d= e d=C3=A9veloppement de la plateforme Web Ocsigen [1] dans le cadre du projet ANR PWD (Programmation du Web Diffus). 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. Il participera au d=C3=A9veloppement des diff=C3=A9rents composants d'Ocsig= en, notamment : - cr=C3=A9ation d'outils de plus haut niveau pour cr=C3=A9er des sites fac= ilement (gestion de contenu, projet Ocsimore) - extension et am=C3=A9liorations du serveur Web - interfaces graphiques en OCaml dans un navigateur - Ocsigen sur terminaux mobiles - Ocsigen et clouds Contexte : Ocsigen est un plateforme libre permettant de d=C3=A9velopper une applicati= on=20 Web client/serveur comme un seul programme OCaml. Le laboratoire Preuves, Programmes et Syst=C3=A8mes [2] (UMR CNRS, universi= t=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, principalement en OCaml (par exemple Menhir, Unison...). Les th=C3=A8mes principaux vont du Web (Ocsigen, CDuce, Xduce, Polipo), aux threads et la programmation parall=C3=A8le (Lwt, OcamlP3L, CPC), du r=C3=A9seau (Babel) =C3=A0 la gestion de grandes masses de composants logiciels (Debian, Edos, Mancoosi), et =C3=A0 la preuve de programmes (Coq,= ...). L'IRILL [3] est un centre de recherche et d=C3=A9veloppement sur les logici= els=20 libres s=C3=BBrs et fiables. Il participe en articulation avec d'autres=20 initiatives, =C3=A0 la f=C3=A9d=C3=A9ration des acteurs du logiciel libre. = En accueillant des=20 projets industriels, l'IRILL est aussi un observatoire et un centre=20 d'exp=C3=A9rimentation sur le transfert en logiciel libre. Comp=C3=A9tences : - Bonne ma=C3=AEtrise du langage Objective Caml - Connaissance des standards du Web - Titre d'ing=C3=A9nieur ou doctorat (master suffisant sous conditions) Contacts: Vincent Balat et J=C3=A9r=C3=B4me Vouillon: {Vincent.Balat || Jerome.Vouillon} @pps.jussieu.fr [1] http://www.ocsigen.org [2] http://www.pps.jussieu.fr [3] http://www.irill.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 Position available: Ocaml/Ocsigen research engineer The IRILL [3] and the PPS laboratory [2] is hiring a Research Engineer with= =20 good skills in (Ca)ML programming for 1 year. Keywords: Ocsigen, Web applications, content management, OCaml Task: The engineer will join the Ocsigen [1] development team, as member of the ANR national project PWD (Programmation du Web Diffus). The work will take place in the new research center on free/open source software (IRILL) [3] in Paris. He will participate in the development of various components of the Ocsigen framework: - implementation of higher level tools for creating Web site easily (content management, Ocsimore project) - extensions and improvements to the Web server - library for writing graphical interfaces in OCaml in a browser - Ocsigen on mobile phones - Ocsigen and cloud computing About Ocsigen: Ocsigen is an open source framework 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 a new international research centre on free/open source software located in Paris. IRILL's objective is to become a reference center for the research and development of stable and reliable free software. By hosting development projects, IRILL also acts as 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=C3=A9r=C3=B4me Vouillon: {Vincent.Balat || Jerome.Vouillon} @pps.jussieu.fr [1] http://www.ocsigen.org [2] http://www.pps.jussieu.fr [3] http://www.irill.org --Boundary-01=_tsOVOhKS3aaRfmG Content-Type: text/html; charset="utf-8" Content-Transfer-Encoding: quoted-printable

[english be= low]


Offre d'emp= loi : ing=C3=A9nieur de recherche Ocsigen


L'IRILL [3]= et le laboratoire Preuves, Programmes et Syst=C3=A8mes [2] cherchent =C3= =A0

recruter un= programmeur OCaml en tant qu'ing=C3=A9nieur de recherche pour une dur=C3= =A9e

d'un an.



Mots cl=C3= =A9s : Ocsigen, applications Web, gestion de contenu, OCaml



Activit=C3= =A9:


L'ing=C3=A9= nieur de recherche sera int=C3=A9gr=C3=A9 =C3=A0 l'=C3=A9quipe de d=C3=A9ve= loppement de

la platefor= me Web Ocsigen [1] dans le cadre du projet ANR PWD

(Programmat= ion du Web Diffus). 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.


Il particip= era au d=C3=A9veloppement des diff=C3=A9rents composants d'Ocsigen,

notamment :=

- cr=C3=A9= ation d'outils de plus haut niveau pour cr=C3=A9er des sites facilement

(gestion= de contenu, projet Ocsimore)

- extensio= n et am=C3=A9liorations du serveur Web

- interfac= es graphiques en OCaml dans un navigateur

- Ocsigen = sur terminaux mobiles

- Ocsigen = et clouds



Contexte :<= /p>


Ocsigen est= un plateforme libre permettant de d=C3=A9velopper une application

Web client/= serveur comme un seul programme OCaml.


Le laborato= ire Preuves, Programmes et Syst=C3=A8mes [2] (UMR CNRS, universit=C3=A9

Paris Dider= ot Paris 7) a pour th=C3=A8me principal l'=C3=A9tude des langages de

programmati= on et des syst=C3=A8mes distribu=C3=A9s, et de leurs fondements

logiques. C= ela s'accompagne d'une importante activit=C3=A9 de d=C3=A9veloppement

logiciel, p= rincipalement en OCaml (par exemple Menhir, Unison...).

Les th=C3= =A8mes principaux vont du Web (Ocsigen, CDuce, Xduce, Polipo),

aux threads= et la programmation parall=C3=A8le (Lwt, OcamlP3L, CPC), du

r=C3=A9seau= (Babel) =C3=A0 la gestion de grandes masses de composants

logiciels (= Debian, Edos, Mancoosi), et =C3=A0 la preuve de programmes (Coq,...).


L'IRILL [3]= est un centre de recherche et d=C3=A9veloppement sur les logiciels

libres s=C3= =BBrs et fiables. Il participe en articulation avec d'autres

initiatives= , =C3=A0 la f=C3=A9d=C3=A9ration des acteurs du logiciel libre. En accueill= ant des

projets ind= ustriels, l'IRILL est aussi un observatoire et un centre

d'exp=C3=A9= rimentation sur le transfert en logiciel libre.



Comp=C3=A9t= ences :


- Bonne ma= =C3=AEtrise du langage Objective Caml

- Connaissa= nce des standards du Web

- Titre d'i= ng=C3=A9nieur ou doctorat (master suffisant sous conditions)


Contacts:

Vincent Bal= at et J=C3=A9r=C3=B4me Vouillon:

{Vincent.Ba= lat || Jerome.Vouillon} @pps.jussieu.fr



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

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

[3] http://= www.irill.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

Position av= ailable: Ocaml/Ocsigen research engineer


The IRILL [= 3] and the PPS laboratory [2] is hiring a Research Engineer with

good skills= in (Ca)ML programming for 1 year.


Keywords: O= csigen, Web applications, content management, OCaml


Task:

The enginee= r will join the Ocsigen [1] development team, as

member of t= he ANR national project PWD (Programmation du Web

Diffus). Th= e work will take place in the new research center on

free/open s= ource software (IRILL) [3] in Paris.


He will par= ticipate in the development of various components of

the Ocsigen= framework:

- implemen= tation of higher level tools for creating Web site

easily (= content management, Ocsimore project)

- extensio= ns and improvements to the Web server

- library = for writing graphical interfaces in OCaml in a browser

- Ocsigen = on mobile phones

- Ocsigen = and cloud computing


About Ocsig= en:


Ocsigen is = an open source framework to develop client/server Web

application= s fully in OCaml, as a single program.


About PPS:<= /p>


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

Diderot Par= is 7. One of its main research topics is the the

study of pr= ogramming languages and distributed systems and their

logical fou= ndations. The research activity is associated with an

important s= oftware development activity, mainly in OCaml

(for exampl= e Menhir, Unison). The main themes span from the

Web (Ocsige= n, CDuce, Xduce, Polipo) to parallel programming (Lwt, OcamlP3L,

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

(Debian, Ed= os, Mancoosi) and proof assistants (Coq).


About the I= RILL:


The IRILL i= s a new international research centre on free/open source

software lo= cated in Paris. IRILL's objective is to become a reference

center for = the research and development of stable and reliable free

software. B= y hosting development projects, IRILL also acts as an

observatory= and experimental centre for transfer using free software.



Required sk= ills:


- Expertise= in OCaml programming

- Knowledge= of Web standards

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


Contacts:

Vincent Bal= at and J=C3=A9r=C3=B4me Vouillon:

{Vincent.Ba= lat || Jerome.Vouillon} @pps.jussieu.fr



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

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

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



= --Boundary-01=_tsOVOhKS3aaRfmG--