Preuves, Programmes et Systèmes

Poste de Maître de conférences

Profil : Théorie de la programmation : logique, calcul, algèbre

Un poste de maître de conférences avec le profil Théorie de la programmation : logique, calcul, algèbre est ouvert au concours à l'université Paris Diderot (Paris 7) au printemps 2010 (prise de fonction en septembre 2010).

Recherche

Étude fondamentale des programmes, dans la perspective notamment du développement des bases théoriques de la programmation, en utilisant des approches provenant

de la logique :

• lambda-calcul et extensions, classiques notamment
• logique linéaire et généralisations non-déterministes, probabilistes ou algébriques (différentielle notamment)
• extraction de programmes certifiés à partir de preuves

de l'informatique :

• sémantique opérationnelle du lambda-calcul et de ses extensions (réécriture, machines abstraites)
• sémantique dénotationnelle (domaines et autres modèles)
• fondements théoriques des nouveaux paradigmes de programmation (Web notamment)

de l'algèbre :

• représentation catégorique du calcul (catégories monoïdales, catégories de dimension supérieure, invariants homologiques et homotopiques)
• homotopie et concurrence.

Enseignement

Le maître de conférence recruté enseignera à l'UFR d'informatique, potentiellement à tous les niveaux, du L1 (licence) au M2 (master).

Informations complémentaires

• le portail GALAXIE pour la qualification et le recrutement.
• le site « opération postes ».
• l'arrêté du 16 juillet 2009 relatif à la procédure d'inscription sur les listes de qualification aux fonctions de maître de conférences ou de professeur des universités.

Contact

Si vous êtes intéressé, nous vous encourageons à prendre contact dès que possible avec Thomas Ehrhard, Paul-André Melliès et Delia Kesner.