The Coq mailing list

[demri <demri AT lsv.ens-cachan.fr>]

Une annonce qui peut vous intéresser ....

-----------------------------------------------------------

POSTE DE PROFESSEUR ASSOCIE (PAST) pour la rentrée 2004, Université 
Paris II
(Poste de 3 ans, renouvelable)

-Poste à mi-temps, compatible avec une autre activité
-Profil industriel intéressé par l'enseignement de l'informatique
-Gestion du réseau d'enseignement recherche sur plusieurs sites
(Assas et Melun).
-Adresse: 92 rue d'Assas, Paris 6ème

Contacter:
Professeur (Economie) Gérard Ballot, 
gerardballot AT wanadoo.fr
Professeur  (Informatique) Michel de Rougemont, 
mdr AT lri.fr

Dossier à envoyer le plus vite possible à:
Ressources Humaines, Université Paris II
12 Place du Panthéon75005 Paris


---
Stéphane Demri

Laboratoire Spécification et Vérification
CNRS UMR 8643 & INRIA Futurs projet SECSI & École Normale Supérieure de 
Cachan
61, avenue du Président Wilson          
94235 CACHAN Cedex - France
demri AT lsv.ens-cachan.fr
                    http://www.lsv.ens-cachan.fr/~demri
Tel.: ++ 33 1 47 40 75 46               Secret.: ++ 33 1 47 40 75 20
Fax : ++ 33 1 47 40 75 21               Office : RH-E-01b