Post-doc offer/Offre de sejour post-doctoral

Post-doc offer/Offre de sejour post-doctoral

[Luc Maranget]

Our team (Moscova, Inria Rocquencourt, France) proposes a
post-doctoral fellow position.


Basically, the work we propose is first  to release the new version of
JoCaml, our extension of Objective Caml with Join-calculus primitives,
and then to study and implement en extension to the existing
prototype, such as type safe serialization.

Application deadline is March 30th.

Candidates must have defended their thesis before September 1, 2006.

More details on the application process are available at
<http://www.inria.fr/travailler/opportunites/postdoc/postdoc.en.html>
A short description of the position is given at the end of this mail.


In any case, candidates should contact me (Luc.Maranget@inria.fr)

--Luc Maranget

==================================================
Notre équipe Moscova de l'Inria Rocquencourt propose un poste de
post-doctorant.

Le travail proposé est de d'abord de réaliser la prochaine release de
JoCaml, extension de Objective Caml par le join-calcul, en partant du
prototype actuel qu'il faut illustrer, tester et documenter.

Ensuite on pourra envisager des extensions, en particulier la
réalisation effective de la sérialisation sûre vis à vis des types, ou
le filtrage de données XML par motifs réguliers.

Attention la limite de dépot des candidature est le 30 mars. Les
candidats, devront avoir soutenu leur thèse avant le premier septembre
2006. Les détails de la procédure pour candidater sont en
<http://www.inria.fr/travailler/opportunites/postdoc/postdoc.fr.html>

Les candidats sont invités à me contacter.

==================================================
Position description


* Environnement
Jocaml is an extension of Ocaml based on the Join-calculus,
see http://join.inria.fr. There are already two releases of the
Join-calculus and Jocaml. A third version, simplified and better
integrated to the Ocaml compiler, is almost completed.
It remains to seriously test the prototype, to write some examples
and documentation.

Additionally we plan to integrate some some important extensions, such
as type safe marshalling or matching by regular term expressions.

* Missions
With Moscova project-team, the post-doctorant will test and this new
release of Jocaml, and set its diffusion on the web. The
post-doctorant will probably have enough time to study and
implement an extension of JoCaml, such as type safe marshalling or
matching by regular term expressions.


* Ideal candidate
The post-doctorant should have a good knowledge of the programming
languages theory, and, if possible, of concurrency theory. The work
will also consist in a good part of programming within distributed
systems. This work is adequate for an expert in theory who wants to
have some practical experience, or for a very good programmer (in
operating systems or compilers) who wants to gain experience in
programming under control of theory.
 
-- 
Luc Maranget