[TYPES/announce] Associate professor position in computer science at CNAM Paris

[Tristan Crolard]

The CNAM opens a position of "Maître de Conférences" (associate professor) in Computer Science with specific reference to "advanced programming technics, software engineering and formal methods". Research will be conducted within the CPR team of the CEDRIC lab, while teaching will be carried out within the Computer Science Department.

Fluency in French is required for the position (in particular, teaching is in French). Moreover, in order to apply the candidate must be "qualified". Information regarding the French Qualification procedure can be found on the GALAXIE web site:

https://www.galaxie.enseignementsup-recherche.gouv.fr/ensup/cand_qualification.htm

For more information about the CEDRIC lab (and the CNAM institution):

http://cedric.cnam.fr

The detailed announcement (in french) follows.

---

Un poste de maître de conférences en informatique (section 27) est ouvert au concours au Cnam à Paris, avec affectation au laboratoire CEDRIC (EA 4629).

Voici le profil détaillé :

- Recherche

Le candidat recruté sera intégré à l'équipe CPR du CEDRIC.

La thématique de l'équipe CPR se situe principalement dans le domaine des méthodes dites « formelles » : les membres de l'équipe développent des méthodes, techniques et outils pour produire des systèmes et des logiciels à haut degré de confiance en matière de sûreté et de sécurité.

Les méthodes formelles sont essentiellement appliquées à la conception, au développement et à la vérification de systèmes critiques. Dans ce contexte, les domaines d'expertise de l'équipe CPR concernent les méthodes déductives (et par extension les assistants de preuve), la sémantique des langages de programmation, les systèmes de types et les techniques de preuve de programme.

Le recrutement devra donc en priorité renforcer un de ces domaines. Toutefois le poste est aussi ouvert à tout jeune chercheur pouvant contribuer à un des autres thèmes actuellement développés dans l'équipe.

- Enseignement

Le candidat devra s'intégrer à l'équipe ayant en charge les enseignements fondamentaux et avancés en algorithmique, programmation, informatique théorique, et autour des méthodes formelles pour la vérification des logiciels.

Il prendra part aux enseignements dans ces thèmes à tous les niveaux, et notamment en premier cycle, et interviendra aussi dans des UE avancées sur la sûreté de fonctionnement du Master Systèmes Embarqués, Mobiles et Sûrs. Il prendra en charge une partie des responsabilités administratives et/ou pédagogiques liées à ces enseignements, en particulier dans le cadre ce Master.

Le candidat aura une bonne connaissance théorique et pratique des principaux paradigmes de programmation (fonctionnelle, impérative, objet) et saura manifester un intérêt pour les difficultés pédagogiques associées. Enfin, une première expérience dans l'enseignement de la programmation avancée Java ou du génie logiciel (plateforme J2EE, environnements de modélisation et programmation intégrés, patrons, approche à base de composants, etc) sera très appréciée.

- Contacts recherche et enseignement :

Tristan Crolard <tristan.crolard at cnam.fr> (responsable de l'équipe CPR)
Pierre-Henri Cubaud <pierre-henri.cubaud at cnam.fr> (directeur du CEDRIC)
Isabelle Wattiau <isabelle.wattiau at cnam.fr> (directeur du département informatique).