From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 780A8BC84 for ; Tue, 26 Apr 2005 13:37:12 +0200 (CEST) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id j3QBbC2N022392 for ; Tue, 26 Apr 2005 13:37:12 +0200 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id NAA23103 for ; Tue, 26 Apr 2005 13:37:11 +0200 (MET DST) Received: from quincy.inria.fr (quincy.inria.fr [128.93.8.52]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id j3QBbB2o014630 for ; Tue, 26 Apr 2005 13:37:11 +0200 Received: by quincy.inria.fr (Postfix, from userid 23861) id 7218C11CC6C; Tue, 26 Apr 2005 13:37:11 +0200 (CEST) Date: Tue, 26 Apr 2005 13:37:11 +0200 From: Michel Mauny To: caml-list@inria.fr Subject: Offre d'emploi =?iso-8859-1?Q?=E0_Cristal?= =?iso-8859-1?Q?=40INRIA?= / Engineer position at Cristal@INRIA Message-ID: <20050426113711.GA22798@quincy.inria.fr> Reply-To: Michel.Mauny@inria.fr Mime-Version: 1.0 Content-Type: multipart/mixed; boundary="DocE+STaALJfprDB" Content-Disposition: inline Content-Transfer-Encoding: 8bit User-Agent: Mutt/1.4.1i X-Miltered: at concorde with ID 426E27E8.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 426E27E7.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; mauny:01 mauny:01 rocquencourt:01 3963:01 l'unite:01 rocquencourt:01 d'ingenieur:01 l'inria:01 concevoir:01 formelle:01 syntaxe:01 typage:01 specifier:01 implementer:01 composantes:01 X-Attachments: name="ing-fr.html" name="ing-en.html" X-Spam-Checker-Version: SpamAssassin 3.0.2 (2004-11-16) on yquem.inria.fr X-Spam-Status: No, score=0.1 required=5.0 tests=HTML_30_40,HTML_MESSAGE autolearn=disabled version=3.0.2 X-Spam-Level: --DocE+STaALJfprDB Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit French version (see below for the english version): n'hésitez pas à transmettre cette offre aux personnes qui pourraient être intéressées. L'INRIA-Rocquencourt (équipe Cristal) recrute un ingénieur en CDD pour développer une version spécifique du langage Caml dans le cadre d'un contrat industriel. Voir fiche de poste jointe. English version: Please forward tis announce to whom might be interested. INRIA-Rocquencourt (Cristal group) is seeking for an engineer whose task will be to develop a specific version of the Caml language in partnership with an an IT manufacturer. More information in the attached document. -- Michel Mauny INRIA Rocquencourt (+33) 1 3963 5796 (+33) 6 7319 3516 --DocE+STaALJfprDB Content-Type: text/html; charset=us-ascii Content-Disposition: attachment; filename="ing-fr.html" Ingénieur-expert à l'INRIA-Rocquencourt

Spécification et mise en oeuvre d'un langage de programmation de haut niveau basé sur Objective Caml

L'Unité de Recherche INRIA de Rocquencourt est susceptible de recruter sur contrat à durée déterminée

un(e) ingénieur R&D

Lieu de travail : INRIA-Rocquencourt, près de Versailles

Équipe d'accueil : Cristal

Durée du contrat : 12 mois (renouvelable 1 fois)

Date prévisible d'embauche : entre le 1er juin 2005 et le 1er septembre 2005

Formation requise : Diplôme d'ingénieur, DEA, DESS, Mastère, ou équivalent.

Date limite de candidature : 1er juin 2005

Profil du poste :

Le travail proposé se situe dans le cadre d'un contrat de collaboration de 2 ans associant l'INRIA à un grand constructeur informatique. Ce contrat vise à concevoir et mettre en oeuvre un langage fonctionnel dédié à des applications de vérification formelle, à partir du système Objective Caml. Le langage visé possède un certain nombre de différences avec le langage Caml: syntaxe, stratégie d'évaluation, typage (surcharge), aspects réflexifs, types de données et bibliothèques, etc. Le travail proposé consiste à lister ces différences, à les spécifier, et à les implémenter à partir des modules Objective Caml existants, et de bibliothèques dédiées fournies.

Le candidat sera au centre de ce projet: chargé de rédiger les spécifications (formelles ou informelles) ainsi que les argumentations associées, il procèdera à l'implémentation du système visé en réutilisant autant que possible les composantes du système Objective Caml. Le candidat sera en contact permanent avec les chercheurs INRIA impliqués dans le projet, ainsi qu'avec l'équipe de développement d'Objective Caml et les membres du groupe Cristal.

Niveau de rémunération: en fonction des compétences et de l'expérience du candidat. Minimum brut mensuel: 2400 €.

Compétences requises et qualités souhaitées :

Très bonne maîtrise des langages Caml et C
Bonnes connaissances en compilation (analyse lexico-syntaxique, vérification et synthèse de types)
Pratique des outils de développement logiciel dans un environnement Unix/Gnu-Linux
Autonomie et capacité à travailler en équipe
Capacité d'analyse et de synthèse, à rédiger clairement des documents techniques
Bonne maîtrise de l'anglais écrit, pratique de l'anglais parlé

Composition du dossier :

Lettre de candidature et de motivation
CV détaillé incluant une liste de travaux accomplis (développements, publications)

à adresser par courrier à :

Équipe Cristal
Attn: Nelly Maloisel
INRIA-Rocquencourt
BP 105
F-78153 Le Chesnay Cedex (France)

ainsi que par courrier électronique à Nelly.Maloisel@inria.fr

Renseignements complémentaires :

Michel Mauny
Téléphone: +33 1 3963 5796

--DocE+STaALJfprDB Content-Type: text/html; charset=us-ascii Content-Disposition: attachment; filename="ing-en.html" Ingineer at INRIA-Rocquencourt

Specification and implementation of a high-level programming language based on Objective Caml

The INRIA-Rocquencourt Research Unit is looking for
a R&D engineer on a non permanent position (1 year, renewable once)

Where: at INRIA-Rocquencourt, near Versailles

Research group: Cristal

Duration: 1 year (renewable once)

Expected date of hiring: any time between June 1st, 2005 and September 1st, 2005.

Requirements: Engineering diploma, Master's, or equivalent.

Apply before: June 1st, 2005

Description of the position:

The context of the work is a 2 years partnership between INRIA and an IT manufacturer. The objective of this partnership is to design and implement a functional language dedicated to formal verification applications. This implementation must use Objective Caml as a starting point. The language to be implemented has differences with the Caml language at many levels: syntax, evaluation strategy, typing (overloading), reflection, data types and libraries, ... The work to be performed consists in identifying these differences, specifying and implementing them, using as starting points the Objective Caml system and pre-existing specific libraries.

The engineer shall be at the heart of this project: in charge of writing the (formal or informal) specifications as well as the rationale for the design choices, he/she has to implement the target system reusing as much as possible the Objective Caml components. The engineer shall work in close cooperation with the INRIA researchers committed to this project, as well as with the Objective Caml development team and members of the Cristal group.

Salary level: depends on skills and experience. Minimum gross salary (per month): 2400 €.

Skills:

Expertise in Caml and C
Good knowledge of compilation techniques (lexical analysis, parsing, type checking and type synthesis)
Working practice of Unix/Gnu-Linux software development tools
Autonomy and ability to work in a group
Analytic and synthetic skills, ability to write clear technical documents
Fluency in written English, practice of spoken English

To apply, send:

a motivation letter
a detailed résumé, including a list of accomplishments (software development, publications)

by surface mail to:

Équipe Cristal
Attn: Nelly Maloisel
INRIA-Rocquencourt
BP 105
F-78153 Le Chesnay Cedex (France)

as well as by electronic mail to Nelly.Maloisel@inria.fr

For more information, call :

Michel Mauny
Phone: +33 1 3963 5796

--DocE+STaALJfprDB--