L'unité de Recherche INRIA de RENNES recrute sur contrat à durée
déterminée (appellation ingénieur expert) : 

                         1 Ingénieur recherche & développement


Lieu de travail : INRIA-Rennes

Projet d'accueil : Lande

Début du contrat: entre le 1/09/05 et le 31/12/05

Durée du contrat : 12 mois

Formation requise : doctorat, DEA, DESS, M2R ou M2Pro en Informatique



Activité du Projet d'accueil: Le projet Lande est une équipe de
recherche qui s'intéresse à la vérification formelle de logiciels. En
particulier, Lande travaille en partenariat avec France Telecom R&D et
Thomson R&D sur la vérification de protocoles cryptographiques. Lande
développe une technique de vérification automatique, à l'état de
prototype, qui a déjà été appliquée avec succès à des protocoles
cryptographiques industriels.

Objectif du poste: A partir des techniques développées par l'équipe
Lande, l'objectif est de réaliser un outil complet, intégré et open
source pour la vérification de protocoles cryptographiques. Les
protocoles visés sont des protocoles de commerce électronique et de
diffusion de contenu video numérique. Ce travail sera réalisé en
collaboration avec France Telecom R&D et Thomson R&D. 


Qualités requises:

- solide expérience dans le développement d'applications 
  complexes en Objective Caml. 
- autonomie
- expérience du travail en équipe
- anglais courant
- des connaissances dans le domaine de la vérification et/ou des protocoles
  cryptographiques seraient un plus 


Contact: Thomas.Genet@irisa.fr  (http:/www.irisa.fr/lande/genet)
         Thomas.Jensen@irisa.fr (http:/www.irisa.fr/lande/jensen)