[isabelle] Fwd: [academic position at CNAM Paris]



The CNAM (Conservatoire National des Arts et MÃtiers) opens a position of
"MaÃtre de ConfÃrences" (associate professor) in Computer Science with
specific reference to "advanced programming techniques, software
engineering and formal methods".  Research will be conducted within
team CPR 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).





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.