From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id 1B865BBAF for ; Fri, 4 Jun 2010 18:13:29 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ArcCAOrCCEyGnQCBkWdsb2JhbACDHZsoFQEBAgkLCgcRAx+uWJB9gSaBKIFbbgQ X-IronPort-AV: E=Sophos;i="4.53,362,1272837600"; d="scan'208";a="63996169" Received: from shiva.jussieu.fr ([134.157.0.129]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 04 Jun 2010 18:13:28 +0200 Received: from hydrogene.pps.jussieu.fr (hydrogene.pps.jussieu.fr [134.157.168.1]) by shiva.jussieu.fr (8.14.4/jtpda-5.4) with ESMTP id o54GDRuB047258 for ; Fri, 4 Jun 2010 18:13:28 +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 o54GDQqJ021438 for ; Fri, 4 Jun 2010 18:13:26 +0200 From: Vincent Balat Organization: Laboratoire PPS - CNRS - =?utf-8?q?Universit=C3=A9_Paris?= Diderot To: OCaml Mailing List Subject: Position available: Ocaml/Ocsigen research engineer Date: Fri, 4 Jun 2010 18:13:25 +0200 User-Agent: KMail/1.13.3 (Linux/2.6.32-2-amd64; KDE/4.4.3; x86_64; ; ) MIME-Version: 1.0 Content-Type: Text/Plain; charset="utf-8" Content-Transfer-Encoding: quoted-printable Message-Id: <201006041813.25814.vincent.balat@pps.jussieu.fr> X-Miltered: at jchkmail.jussieu.fr with ID 4C092627.008 by Joe's j-chkmail (http : // j-chkmail dot ensmp dot fr)! X-j-chkmail-Enveloppe: 4C092627.008/134.157.168.1/hydrogene.pps.jussieu.fr/hydrogene.pps.jussieu.fr/ X-Spam: no; 0.00; ocaml:01 ocaml:01 terminaux:01 umr:01 diderot:01 logiques:01 cduce:01 xduce:01 coq:01 articulation:01 observatoire:01 vouillon:01 vouillon:01 diderot:01 cduce:01 [english below] Offre d'emploi : ing=C3=A9nieur de recherche Ocsigen Le laboratoire Preuves, Programmes et Syst=C3=A8mes [2] cherche =C3=A0 recr= uter un programmeur OCaml en tant qu'ing=C3=A9nieur de recherche pour une dur=C3=A9e d'un ou deux ans. 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,= =2E..). L'IRILL [3] (en cours de cr=C3=A9ation) a pour objectif de devenir un centre de r=C3=A9f=C3=A9rence sur la recherche et le d=C3=A9veloppement de = logiciels libres s=C3=BBrs et fiables, participant, en articulation avec d'autres initiatives, =C3=A0 la f=C3=A9d=C3=A9ration des acteurs du logiciel libre. = En accueillant des projets industriels, l'IRILL sera aussi un observatoire et un centre d'exp=C3=A9rimentation sur le transfert en logiciel libre. Comp=C3=A9tences : =2D Bonne ma=C3=AEtrise du langage Objective Caml =2D Connaissance des standards du Web =2D 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.inria.fr/actualites/espace-presse/cp/pre201.fr.html =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 PPS laboratory [2] is hiring a Research Engineer with good skills in (Ca)ML programming for 1 to 2 years. 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 will also act as an observatory and experimental centre for transfer using free software. Required skills: =2D Expertise in OCaml programming =2D Knowledge of Web standards =2D 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.inria.fr/actualites/espace-presse/cp/pre201.en.html