Dans le cadre du projet Européen ITEA 2
ES_PASS, l'équipe ``Sémantique et interprétation abstraite''
du Département
d'informatique de
l'École Normale Supérieure
(ENS),
CNRS et
équipe INRIA
Paris—Rocquencourt
« Abstraction » recherche
un(e) ingénieur(e) informaticien(ne) débutant(e)
diplômé(e) pour
travailler au développement, ´ la diffusion et au transfert
technologique et industriel de l'analyseur statique ASTRÉE
(http://www.astree.ens.fr/) pour la preuve d'absence d'erreurs à
l'exécution dans les codes synchrones de contrôle/commande. Ce travail
sera accompagné d'une formation théorique et pratique sur l'analyse
statique par interprétation abstraite. Une bonne maîtrise de l'anglais
est requise. La connaissance de C, OCaml, de la compilation, de
l'informatique embarquée et la partipation à un projet de programmation
en groupe seront autant d'atouts positifs sans être indispensables.
L'ingénieur(e) travaillera dans les locaux de l'ENS, 45 rue
d'Ulm à
Paris.
Ce poste conviendrait à une personne autonome et désireuse de se former par
la recherche dans une domaine de pointe avant d'entamer une carrière
industrielle (par exemple avec l'un des partenaires industriels du projet
qui sont des éditeurs de logiciels ou travaillent dans le domaine du
logiciel embarqué pour l'automobile, le ferroviaire, l'aéronautique et
l'espace, et qui sont à la recherche de compétences, rares dans le
domaine de l'analyse statique).
Le contrat CDD est de deux ans à partir du 1er septembre 2007 et correspond
à une rémunération brute de 2718,10 Euros/Mois
(correspondant à l'indice 582
d'un ingénieur de recherche à l'échelon 7 du CNRS).
Envoyer une lettre de candidature et un CV sous forme électronique
avant le 19 juillet 2007 à :
Prof. Patrick Cousot
Département d'informatique
École normale supérieure
45 rue d'Ulm
75230 paris cedex 05
France
Patrick.Cousot [AT] ens [DOT] fr
Les candidatures seront examinées le 20 juillet 2007 et les candidats seront
convoqués à un entretien entre le 25 et le 27 juillet 2007 pour une prise de
fonction le 1er septembre 2007.