The Coq mailing list

[Areski Nait Abdallah <areski AT pauillac.inria.fr>]

Deux postes de Maitres de Conferences sont ouverts a la mutation
et au recrutement au JO, Legifrance Vendredi 27 Fevrier 2004.
page 3987:

        Universite de Brest: architectures logicielles, 
        systemes temps reel, robotique, environnements de programmation, 
        ingenierie du logiciel: 0127 S

        Universite de Brest: logique, systemes intelligents: 0205 S

Ces postes, affectes au departement d'informatique de l'Universite de Brest,
correspondent à des besoins en enseignement identifiés par 
cet établissement et à des profils de recherche dans le cadre d'une 
intégration a une equipe de recherche.

Les candidatures de valeur sont vivement encouragees et seront
considerees avec le plus grand interet.

J'invite les candidats (sur le deuxieme poste en particulier) a m'envoyer 
une version electronique du dossier "officiel" qu'ils adressent aux 
autorite's competentes.  Cela me permettra de le transmettre aux
membres logiciens/"systemes intelligents" et non brestois de la commission 
pour que l'on puisse, par mail, préparer les réunions.

Merci et a bientot.

A.