The Coq mailing list

[Pierre Courtieu <Pierre.Courtieu AT cnam.fr>]

[French below]

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).