From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 6D0377EF10; Mon, 23 Feb 2015 15:48:49 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of vincent.balat@vblt.org) identity=pra; client-ip=217.70.183.198; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vincent.balat@vblt.org"; x-sender="vincent.balat@vblt.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of vincent.balat@vblt.org) identity=mailfrom; client-ip=217.70.183.198; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vincent.balat@vblt.org"; x-sender="vincent.balat@vblt.org"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@relay6-d.mail.gandi.net) identity=helo; client-ip=217.70.183.198; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="vincent.balat@vblt.org"; x-sender="postmaster@relay6-d.mail.gandi.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BmCAD/POtUhsa3Rtlbg1haBII9R74igQRgAQWHFkMBAQEBAQEQAQEBCAsLBxYuhCIGETIWJw03AiQSAQUBIwkriA0EnhOQTz4xiy6YHAEfkjUMLxKBMQWNYYVPhWWRaTWBEwKBc4IdbwGBQ38BAQE X-IPAS-Result: A0BmCAD/POtUhsa3Rtlbg1haBII9R74igQRgAQWHFkMBAQEBAQEQAQEBCAsLBxYuhCIGETIWJw03AiQSAQUBIwkriA0EnhOQTz4xiy6YHAEfkjUMLxKBMQWNYYVPhWWRaTWBEwKBc4IdbwGBQ38BAQE X-IronPort-AV: E=Sophos;i="5.09,631,1418079600"; d="scan'208";a="101019477" Received: from relay6-d.mail.gandi.net ([217.70.183.198]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 23 Feb 2015 15:48:48 +0100 Received: from mfilter25-d.gandi.net (mfilter25-d.gandi.net [217.70.178.153]) by relay6-d.mail.gandi.net (Postfix) with ESMTP id 25E2EFB8A0; Mon, 23 Feb 2015 15:48:48 +0100 (CET) X-Virus-Scanned: Debian amavisd-new at mfilter25-d.gandi.net Received: from relay6-d.mail.gandi.net ([217.70.183.198]) by mfilter25-d.gandi.net (mfilter25-d.gandi.net [10.0.15.180]) (amavisd-new, port 10024) with ESMTP id i6AX9anXONbx; Mon, 23 Feb 2015 15:48:46 +0100 (CET) X-Originating-IP: 209.85.214.173 Received: from mail-ob0-f173.google.com (mail-ob0-f173.google.com [209.85.214.173]) (Authenticated sender: v@vblt.org) by relay6-d.mail.gandi.net (Postfix) with ESMTPSA id 955AEFB8E5; Mon, 23 Feb 2015 15:48:45 +0100 (CET) Received: by mail-ob0-f173.google.com with SMTP id uy5so36891645obc.4; Mon, 23 Feb 2015 06:48:44 -0800 (PST) X-Received: by 10.60.145.145 with SMTP id su17mr7827466oeb.59.1424702924166; Mon, 23 Feb 2015 06:48:44 -0800 (PST) MIME-Version: 1.0 From: Vincent Balat Date: Mon, 23 Feb 2015 14:48:43 +0000 Message-ID: To: ocaml-jobs@inria.fr, caml-list@inria.fr Content-Type: multipart/alternative; boundary=047d7b5d30d8b49e85050fc27f57 Subject: [Caml-list] 2-year engineer position OCaml/Ocsigen in Paris (Univ Paris Diderot, Inria) --047d7b5d30d8b49e85050fc27f57 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable [english below] 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 de deux ans. Mots cl=C3=A9s : Ocsigen, applications Web, MOOC, programmation r=C3=A9acti= ve, 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 FUI "Ubiquitus Content Framework". Il travaillera sur la cr=C3=A9ation d'un prototype d'application de diffusion de contenus multimedia, et participera =C3=A0 la r=C3=A9flexion sur les techniques de programmation d'une telle application, notamment gr=C3=A2ce =C3=A0 la programmation r=C3=A9active/synchrone. Il pa= rticipera =C3=A0 l'am=C3=A9lioration et la maintenance du projet Ocsigen (compilateur Js_of_ocaml, framework Eliom et serveur Web, notamment). 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. Contexte : Ocsigen est un plateforme libre de d=C3=A9veloppement Web, contenant notamm= ent un compilateur OCaml vers Javascript (Js_of_ocaml) et un framework (Eliom) permettant d'=C3=A9crire une application 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 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. = L'IRILL est aussi un observatoire et un centre 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.univ-paris-diderot.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 The PPS laboratory [2] is hiring a Research Engineer with good skills in OCaml programming for 2 years. Keywords: Ocsigen, Web applications, MOOC, reactive programming, OCaml Task: The engineer will join the Ocsigen [1] development team, as member of a research/industry project called "Ubiquitus Content Framework". She/he will work on the implementation of an application prototype for streaming multimedia content, and will participate in the reflexion about Web programming techniques for such applications, using reactive/synchronous programming. She/he will take part in improving and maintaining the projects of the Ocsigen framework (Js_of_Ocaml, Eliom, Server, etc.) The work will take place in the new research center on free/open source software (IRILL) [3] in Paris. About Ocsigen: Ocsigen is an open source Web development framework, containing, amongst other projects, a compiler from OCaml to JS (Js_of_ocaml) and libraries (Eliom) 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 an international research centre on free/open source software located in Paris. IRILL's objective is a reference center for the research and development of stable and reliable free software. IRILL is also 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 --047d7b5d30d8b49e85050fc27f57 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable

[english below]


=

Le laboratoire Preuves, Programmes et Syst=C3=A8mes= [2] cherche =C3=A0 recruter un programmeur OCaml en tant qu'ing=C3=A9n= ieur de recherche pour une dur=C3=A9e

de deux ans.


Mots cl=C3=A9s : Ocsigen, applications Web, MOOC, p= rogrammation r=C3=A9active, OCaml


Activit=C3=A9 :


L'ing=C3=A9nieu= r de recherche sera int=C3=A9gr=C3=A9 =C3=A0 l'=C3=A9quipe de d=C3=A9v= eloppement de

la plateforme Web Ocsigen [1] dans le cadre du proj= et FUI "Ubiquitus Content Framework". Il travaillera sur la cr=C3= =A9ation d'un prototype d'application de diffusion de contenus mult= imedia, et participera =C3=A0 la r=C3=A9flexion sur les techniques de progr= ammation d'une telle application, notamment gr=C3=A2ce =C3=A0 la progra= mmation r=C3=A9active/synchrone. Il participera =C3=A0 l'am=C3=A9liorat= ion et la maintenance du projet Ocsigen (compilateur Js_of_ocaml, framework= Eliom et serveur Web, notamment).


Le travail aura lieu au sein de l'IRILL [3]

(Initiative pour la Recherche et l'Innovation s= ur le Logiciel Libre),

dans le 13e arrondissement de Paris.


Contexte :


Ocsigen est un plat= eforme libre de d=C3=A9veloppement Web, contenant notamment un compilateur = OCaml vers Javascript (Js_of_ocaml) et un framework (Eliom) permettant d= 9;=C3=A9crire une application Web client/serveur comme un seul programme OC= aml.


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

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

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

logiques. Cela s'accompagne d'une important= e activit=C3=A9 de d=C3=A9veloppement

logiciel, principalement en OCaml (par exemple Menh= ir, Unison...).

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

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

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

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


L'IRILL [3] est un centre de r=C3=A9f=C3=A9renc= e sur la recherche et le d=C3=A9veloppement de logiciels libres s=C3=BBrs e= t fiables, participant, en articulation avec d'autres

initiatives, =C3=A0 la f=C3=A9d=C3=A9ration des act= eurs du logiciel libre. L'IRILL est aussi un observatoire et un centre = 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 su= ffisant sous conditions)


Contacts:

Vincent Balat et J=C3=A9r=C3=B4me Vouillon:

{Vincent.Balat || Jerome.Vouillon} @pps.univ-paris-diderot.fr



[1] http://www.o= csigen.org

[2] http://ww= w.pps.jussieu.fr

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


The PPS laboratory [2] is hiring a Research Enginee= r with good

skills in OCaml programming for 2 years.


Keywords: Ocsigen, Web applications, MOOC, reactive= programming, OCaml


Task:


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

member of a research/industry project called "= Ubiquitus Content Framework".

She/he will work on the implementation of an applic= ation prototype for streaming multimedia content, and will participate in t= he reflexion about Web programming techniques for such applications, using = reactive/synchronous programming. She/he will take part in improving and ma= intaining the projects of the Ocsigen framework (Js_of_Ocaml, Eliom, Server= , etc.)


The work will take place in the new research center= on free/open source software (IRILL) [3] in Paris.



About Ocsigen:


Ocsigen is an open source Web development framework= , containing, amongst other projects, a compiler from OCaml to JS (Js_of_oc= aml) and libraries (Eliom) to develop client server Web applications fully= in OCaml, as a single program.


About PPS:


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

Diderot Paris 7. One of its main research topics i= s the the

study of programming languages and distributed syst= ems and their

logical foundations. The research activity is asso= ciated 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 pro= gramming (Lwt, OcamlP3L,

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

(Debian, Edos, Mancoosi) and proof assistants (Coq= ).


About the IRILL:


The IRILL is an international research centre on fr= ee/open source

software located in Paris. IRILL's objective is= a reference

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

software. IRILL is also an observatory and experime= ntal 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.o= csigen.org

[2] http://ww= w.pps.jussieu.fr

[3] http://www.iri= ll.org


--047d7b5d30d8b49e85050fc27f57--