Profil du poste MCF-0751723R, n° JO 0305

Des renseignements sur la commission de spécialistes sont disponibles (contact ou dates de réunion).

---

Définition du poste :

Maître de conférences

Établissement : Université Paris VII

Poste numéro 0305 en application de l'article 26-I-1 du décret 84-431 (poste réservé aux titulaires du doctorat ou titre équivalent)

Poste publié en section 25 (Mathématiques)

Profil publié au JO : applications de la logique à l'informatique

Ce poste est seulement susceptible d'être vacant

---

Profil du poste :

Laboratoire d'accueil	Laboratoire Preuves, Programmes et Systèmes
Lieu d'enseignement	Université Paris VII
Mots clés	Applications de la Logique à l'Informatique
Page Web décrivant le profil	http://www.pps.jussieu.fr/annonces.html
Page Web décrivant le laboratoire	http://www.pps.jussieu.fr/
Page Web	Tous les profils de postes publiés dans cet établissement
Profil détaillé	"Applications de la Logique à l'Informatique" Les thèmes de recherche plus particulièrement souhaités sont : - théorie de la démonstration - preuve assistée par ordinateur - outils géométriques pour la réécriture L'équipe PPS, partagée entre mathématiques et informatique, sera le laboratoire naturel d'accueil du candidat. Le futur recruté doit pouvoir assurer des enseignements de mathématiques usuels dans les deux premiers cycles. Il peut être amené à enseigner dans le DEA de Logique Mathématique et Fondements de l'Informatique et dans le DEA de Programmation (Sémantique, Preuves et Langages).

---

Qui contacter :

Prénom et Nom	Pierre-Louis Curien
E-mail	Pierre-Louis.Curien@pps.jussieu.fr
Adresse postale, téléphone	Laboratoire PPS (UMR 7126) Université Denis Diderot Case 7014 2 Place Jussieu 75251 PARIS Cedex 05

Ces données ont aimablement été saisies par Olivier.Laurent@pps.jussieu.fr.