Version française
Home     About     Download     Resources     Contact us    
Browse thread
Position available: Ocaml/Ocsigen research engineer
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Vincent Balat <vincent.balat@p...>
Subject: Position available: Ocaml/Ocsigen research engineer
[english below]

Offre d'emploi : ingénieur de recherche Ocsigen

Le laboratoire Preuves, Programmes et Systèmes [2] cherche à recruter un
programmeur OCaml en tant qu'ingénieur de recherche pour une durée
d'un ou deux ans.


Mots clés : Ocsigen, applications Web, gestion de contenu, OCaml


Activité:

L'ingénieur de recherche sera intégré à l'équipe de développement 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éveloppement des différents composants d'Ocsigen,
notamment :
 - création d'outils de plus haut niveau pour créer des sites facilement
   (gestion de contenu, projet Ocsimore)
 - extension et améliorations 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évelopper une application 
Web client/serveur comme un seul programme OCaml.

Le laboratoire Preuves, Programmes et Systèmes [2] (UMR CNRS, université
Paris Diderot Paris 7) a pour thème principal l'étude des langages de
programmation et des systèmes distribués, et de leurs fondements
logiques. Cela s'accompagne d'une importante activité de développement
logiciel, principalement en OCaml (par exemple Menhir, Unison...).
Les thèmes principaux vont du Web (Ocsigen, CDuce, Xduce, Polipo),
aux threads et la programmation parallèle (Lwt, OcamlP3L, CPC), du
réseau (Babel) à la gestion de grandes masses de composants
logiciels (Debian, Edos, Mancoosi), et Ă  la preuve de programmes (Coq,...).

L'IRILL [3] (en cours de création) a pour objectif de devenir un
centre de référence sur la recherche et le développement de logiciels
libres sûrs et fiables, participant, en articulation avec d'autres
initiatives, à la fédération des acteurs du logiciel libre. En
accueillant des projets industriels, l'IRILL sera aussi un
observatoire et un centre d'expérimentation sur le transfert en
logiciel libre.


Compétences :

- Bonne maîtrise du langage Objective Caml
- Connaissance des standards du Web
- Titre d'ingénieur ou doctorat (master suffisant sous conditions)

Contacts:
Vincent Balat et JĂ©rĂ´me 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

===================================================================
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:

- Expertise in OCaml programming
- Knowledge of Web standards
- Engineer or PhD degree (master may be sufficient under conditions)

Contacts:
Vincent Balat and JĂ©rĂ´me 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