Contact académique
Pour les collaborations de recherche, les propositions CIFRE, les co-encadrements doctoraux et les projets ANR / France 2030.
Échangeons sur la recherche formelle
Le CFVL est ouvert aux échanges scientifiques avec les laboratoires, les chercheurs et les doctorants travaillant en méthodes formelles, sécurité des systèmes critiques et cryptographie formelle.
Recherche & CIFRE
Propositions de collaboration, co-encadrements doctoraux, conventions CIFRE.
research@cortexorigin.comProjets ANR / France 2030
Appels à projets conjoints, partenariats institutionnels.
research@cortexorigin.comCompétences clés
Le CFVL recherche des collaborateurs maîtrisant au moins un des domaines suivants.
Proof assistants
Isabelle/HOL, Coq, Lean 4. Expérience en formalisation de propriétés de sécurité ou de systèmes. Raffinement et simulation.
Vérification C / systèmes
Frama-C / WP, SPARK/Ada, analyse statique avancée. Expérience en vérification de code bas niveau ou embarqué.
Sécurité formelle
Modèles d’isolation, non-interférence, analyse de flux d’information, modèles BLP/Biba, RBAC formalisé.
Cryptographie
ProVerif, Tamarin, HACL*, F*. Vérification de protocoles, propriétés post-quantiques, chaînes de confiance.
CFVL-REC-004 · Contact académique · Version 1.0 · Février 2026