The Coq mailing list

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

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@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@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

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