[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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.crol...@cnam.fr> (responsable de l'équipe CPR)
Pierre-Henri Cubaud <pierre-henri.cub...@cnam.fr> (directeur du CEDRIC)
Isabelle Wattiau <isabelle.watt...@cnam.fr> (directeur du département
informatique).
