Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] [academic position at CNAM Paris


view this post on Zulip Email Gateway (Aug 22 2022 at 12:54):

From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
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é :

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.

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.

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


Last updated: Mar 29 2024 at 04:18 UTC