[TYPES/announce] 12-18 months post-doc position in CEDRIC, CNAM Paris

[Pierre Courtieu]

The CEDRIC laboratory of the Conservatoire National des Arts et Métiers
(CNAM) in Paris is offering a post-doctoral position on "formal proofs
on security policies" in the CPR team.

Starting date: as soon as possible from january 2008.
Duration: 12 to 18 months.
Place: CNAM, Paris.
Contact: Pierre Courtieu <Pierre.Courtieu at cnam.fr>

The work will consist in developing a methodology for the verification
of security properties of access control policies. This will be done
with the Coq proof assistant or/and the focal certified programming
tool.

This position is financed by the project FC² on federation of circles
of trust. FC² is financed by DGE (french General Business Directorate,
"Direction générale des entreprises") and is labeled by the french
"pôle system at tic". The work will also be in collaboration with the
SSURF ANR project (Safety and Security UndeR Focal).

http://www.industrie.gouv.fr/portail/une/dgesom.html
http://www.systematic-paris-region.org/index.php
http://www-spi.lip6.fr/~jaume/ssurf.html

------------------------------------------------------------------

Le laboratoire CEDRIC du CNAM Paris propose un stage post-doctoral sur
le sujet "Preuves formelles sur les politiques de sécurité" dans
l'équipe CPR (conception et programmation raisonnées).

Début: à partir de janvier 2008.
Durée: 12 à 18 mois.
Lieu: CNAM, Paris.
Contact: Pierre Courtieu <Pierre.Courtieu at cnam.fr>

Le travail consistera à développer une méthodologie de vérification de
propriétés de sécurité sur des politiques de contrôle d'accès. On
utilisera l'outil de preuve Coq et/ou l'atelier de programmation
certifiée Focal.

Ce stage est financé par le projet FC² sur la fédération de cercles de
confiance. FC² est financé par la DGE (direction générale des
équipements) et labellisé par le pôle system at tic. Le travail se fera
aussi en collaboration avec le projet ANR SSURF (Safety and Security
UndeR Focal)

http://www.industrie.gouv.fr/portail/une/dgesom.html
http://www.systematic-paris-region.org/index.php
http://www-spi.lip6.fr/~jaume/ssurf.html

------------------------------------------------------------------