Deux postes de maîtres de conférences en informatique à l'ENS Cachan

Deux postes de Maîtres de Conférences en Informatique (27e section) sont ouverts au concours à l'ENS Cachan (site de Cachan) dans le cadre de la campagne de recrutement 2008. Cf. le JO du 28 février 2008.

Le laboratoire et le département d'informatique privilégieront avant tout la valeur scientifique des candidats et la qualité de leur projet de recherche, d'intégration au LSV, et d'insertion pédagogique au département. Nous ne souhaitons donc pas qu'un candidat potentiel brillant s'abstienne pour des raisons de profil de poste. Pour la même raison, nous suggérons aux candidats de postuler simultanément aux deux concours (avec le même dossier) même si un des deux profils recherche semble mieux leur convenir.

Ces deux postes ont le même profil enseignement : le(a) Maître de Conférences devra participer à l'organisation et à l'enseignement dans les filières du département Informatique, notamment :

la licence d'informatique et la filière Mathématiques et Informatique en première année,
l'option informatique de l'agrégation de Mathématiques,
le Master Parisien de Recherche en Informatique,
les enseignements d'informatique dans les autres départements de l'école,
des enseignements d'informatique transversaux que nous souhaitons développer, par exemple dans le cadre du diplôme de l'École.

Les profils recherche des deux postes ont certaines priorités en commun :

Le(a) Maître de Conférences devra poursuivre ses travaux de recherche au Laboratoire Spécification et Vérification de l'ENS Cachan, dans l'un des axes actuels du laboratoire ou plus généralement dans une thématique connexe à ces axes, telle que analyse statique, méthodes formelles, résolution de contraintes, démonstration automatique, etc. (cf. le rapport d'activité préparé pour le dernier contrat quadriennal).

Concernant le poste 0136, un profil orienté "vérification et méthodes formelles" cherche à recruter prioritairement un(e) maître de conférences qui viendra soutenir les activités en sécurité des systèmes d'information (axe SECSI), ou en vérification des systèmes embarqués (axe INFINI et/ou TEMPO).

Concernant le poste 0125, un profil orienté "logique et bases de données" cherche à recruter prioritairement un(e) maître de conférences qui viendra soutenir les activités en vérification des bases de données (projet DAHU, dirigé par Luc Segoufin).

Nous rappelons que la politique scientifique du LSV, et plus généralement de l'ENS Cachan, est de privilégier systématiquement les recrutements externes. Ainsi, aucun des enseignants recrutés depuis la création du département d'informatique il y a une dizaine d'années n'est issu du LSV.

Pour tous renseignements, contacter :

Paul Gastin, directeur du département informatique
Philippe Schnoebelen, directeur du LSV

Laboratoire Spécification et Vérification
CNRS UMR 8643
École Normale Supérieure de Cachan
61, avenue du Président Wilson
94235 Cachan Cedex - France
Fax : 33 (0) 1 47 40 75 21

Deux postes de maîtres de conférences en informatique à l'ENS Cachan

À propos du LSV