Version française
Home     About     Download     Resources     Contact us    
Browse thread
[Caml-list] Poste d'Ingenieur de developpement Coq
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Christine Paulin <Christine.Paulin@l...>
Subject: [Caml-list] Poste d'Ingenieur de developpement Coq

N'hesitez pas a transmettre cette annonce autour de vous aux personnes
qui pourraient etre interessees.

Nous sommes a la recherche (urgente) d'un ingenieur de Developpement
Logiciel pour participer au developpement de l'assistant de preuve Coq 
http://coq.inria.fr

Il s'agit d'un contrat de 12 mois prolongeable a 18 mois gere par
l'INRIA dans le cadre de ses postes d'accueil.

Le travail a realiser concernera
   - Organisation de la documentation/FAQ/Aide en ligne/Site WEB
   - Reorganisation/documentation des bibliotheques
   - Profiling, amelioration de l'efficacite du code
   - Programmation de tactiques de preuve

Les competences recherchees sont
    - programmation en ML
    - maitrise de l'anglais
    - connaissance en methodes formelles/logique

Le travail se fera au sein de l'equipe LogiCal a l'INRIA ou au LRI 
(http://logical.inria.fr)
La personne recrutee pourra developper son savoir en methodes
formelles, un domaine ou il y a actuellement une forte demande
industrielle. 

Les personnes interessees sont invitees a prendre contact le plus
rapidement possible et imperativement avant le 30 mai 2001 :

	Christine Paulin
        Christine.Paulin@lri.fr
        tel 33 1 69 15 66 35
        fax 33 1 69 15 65 86


===============================================================
The LogiCal Team at INRIA Rocquencourt 
	http://logical.inria.fr 
is offering a engineer position to collaborate to the development 
of the Coq Proof assistant http://coq.inria.fr 

Tasks 
	- organization of the documentation/FAQ/on-line help/WEB site
	- re-organization, documentation interface of the libraries
	- profiling of the system
	- stabilizing the installation procedure on different platforms

Prerequisites :
	- formal methods, logic
	- programming in ML
	- English

Dead-line for application is May 30th. 

The job should start no later than September 1st. 
The position is for one year with a possible extension to 18 months.
Salary depends on the qualification.

If you are interested, please send a CV together with a motivation 
letter and the names of 2 people to recommend you to :
	Christine Paulin
	Christine.Paulin@lri.fr
	tel 33 1 69 15 66 35
	fax 33 1 69 15 65 86


-- 
  Christine Paulin-Mohring             mailto : Christine.Paulin@lri.fr
  LRI, UMR 8623 CNRS, Bat 490, Université Paris Sud,   91405 ORSAY Cedex 
  LRI   tel : (+33) (0)1 69 15 66 35       fax : (+33) (0)1 69 15 65 86
  INRIA tel : (+33) (0)1 39 63 54 60       fax : (+33) (0)1 39 63 56 84
-------------------
To unsubscribe, mail caml-list-request@inria.fr.  Archives: http://caml.inria.fr