[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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 <[EMAIL PROTECTED]>
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 [EMAIL PROTECTED]". 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 <[EMAIL PROTECTED]>
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 [EMAIL PROTECTED] 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
------------------------------------------------------------------
