( une copie de ce courrier est accessible sur le web
http://www.inria.fr/croap/personnel/Olivier.Pons/SII/lettre.html)

A Monsieur Michel Bidoit, directeur du LSV.

Bonjour,

Très motivé par votre annonce à propos des post-doctorats au LSV, qui ne m'est malheureusement parvenue que tardivement, je me permets de vous adresser ma candidature.

Titulaire d'un DEA d'informatique de l'Université Paris 6, je termine actuellement une thèse dans le projet CROAP de l'INRIA Sophia Antipolis coencadré par Y. Bertot et L. Rideau de l'Inria Sophia et Véronique Donzeau-Gouge du CNAM Paris.

Mon travail de thèse s'est articulé autour de l'assistant de preuve Coq et de son environnement de travail Ct-coq. Et plus généralement des systèmes de preuves formelles. L'objectif était de concevoir des outils pour faciliter le développement et la maintenance de ``grosses théories'' dans ces systèmes. Mes trois années de thèse m'ont amené à me familiariser aussi bien avec les méthodes de spécification et de preuve formelle qu'avec les méthodes classiques du génie logiciel.

Je prévois de soutenir pour la fin de l'année 98 et j'aimerais vivement pouvoir continuer a travailler dans le domaine tout en élargissant mon champ d'application. La possibilité d'un post-doctorat dans votre équipe me semble une excellente opportunité.

Veuillez trouver ci joint mon CV et un résumé de mes activités de recherche et d'enseignement. Je me tiens à votre disposition pour toutes informations complémentaires.

Dans l'attente d'une réponse favorable, je vous prie d'agréer, Monsieur le Directeur, l'assurance de mes sentiments distingués.

Olivier Pons
Inria Sophia Antipolis
INRIA Centre de Sophia Antipolis
2004, Route des Lucioles - B.P. 93
F-06902 VALBONNE Cedex - FRANCE
email:Olivier.Pons@sophia.inria.fr