{"id":837,"date":"2026-02-25T08:20:22","date_gmt":"2026-02-25T08:20:22","guid":{"rendered":"https:\/\/cortexorigin.com\/?page_id=837"},"modified":"2026-02-25T08:20:22","modified_gmt":"2026-02-25T08:20:22","slug":"837-2","status":"publish","type":"page","link":"https:\/\/cortexorigin.com\/index.php\/837-2\/","title":{"rendered":""},"content":{"rendered":"\n<!--\n  CFVL \u2014 Contact <em>acad\u00e9mique<\/em>\n  WordPress Custom HTML Block\n-->\n\n<style>\n@import url('https:\/\/fonts.googleapis.com\/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;0,700;1,400;1,500&family=JetBrains+Mono:wght@400;500;600&family=DM+Sans:wght@300;400;500;600;700&display=swap');\n\n.cf-page {\n  --navy: #0C1829; --navy-mid: #162240; --navy-light: #1E3055;\n  --slate: #2A3F5F; --blue: #4A90D9; --ice: #B8D4F0;\n  --cream: #F4F0EB; --white: #FAFAF8; --gray: #8C9BAF;\n  --gold: #C9A96E; --green: #27AE60; --orange: #D4872C;\n  --serif: 'EB Garamond', 'Georgia', serif;\n  --sans: 'DM Sans', 'Helvetica Neue', sans-serif;\n  --mono: 'JetBrains Mono', 'Consolas', monospace;\n  font-family: var(--sans); color: var(--navy);\n  -webkit-font-smoothing: antialiased; line-height: 1.6;\n  max-width: 100%; overflow-x: hidden; margin: 0; padding: 0;\n}\n.cf-page *, .cf-page *::before, .cf-page *::after { box-sizing: border-box; }\n.cf-page h1,.cf-page h2,.cf-page h3,.cf-page h4,.cf-page p,.cf-page ul,.cf-page li { margin:0;padding:0;font-weight:normal;list-style:none; }\n.cf-page a { text-decoration: none; }\n\n\/* HERO *\/\n.cf-hero {\n  background: var(--navy); padding: 7rem 2rem 5rem;\n  text-align: center; position: relative;\n}\n.cf-hero::after {\n  content:''; position:absolute; bottom:0; left:0; right:0; height:1px;\n  background: linear-gradient(90deg, transparent, var(--blue), var(--gold), var(--blue), transparent);\n  opacity: 0.4;\n}\n.cf-hero-label {\n  font-family: var(--mono); font-size: 0.72rem; letter-spacing: 0.35em;\n  color: var(--gold); text-transform: uppercase; margin-bottom: 1.5rem;\n}\n.cf-hero h1 {\n  font-family: var(--serif) !important;\n  font-size: clamp(2.2rem, 5vw, 3.6rem) !important;\n  font-weight: 400 !important; color: var(--white) !important;\n  line-height: 1.12 !important; margin-bottom: 1rem !important;\n}\n.cf-hero h1 em { font-style: italic; color: var(--ice); }\n.cf-hero-sub {\n  font-size: 1.05rem; font-weight: 300; color: var(--gray);\n  line-height: 1.75; max-width: 640px; margin: 0 auto;\n}\n.cf-back {\n  display: inline-flex; align-items: center; gap: 0.5rem;\n  font-family: var(--mono); font-size: 0.72rem; color: var(--blue);\n  letter-spacing: 0.1em; margin-bottom: 2rem;\n  transition: color 0.3s;\n}\n.cf-back:hover { color: var(--ice); }\n\n\/* SECTIONS *\/\n.cf-section { padding: 5rem 2rem; max-width: 1000px; margin: 0 auto; }\n.cf-section-label {\n  font-family: var(--mono); font-size: 0.68rem; letter-spacing: 0.3em;\n  color: var(--blue); text-transform: uppercase; margin-bottom: 1rem;\n}\n.cf-page h2 {\n  font-family: var(--serif) !important;\n  font-size: clamp(1.7rem, 3.5vw, 2.4rem) !important;\n  font-weight: 400 !important; color: var(--navy) !important;\n  line-height: 1.2 !important; margin-bottom: 1.4rem !important;\n}\n.cf-page h2 em { font-style: italic; color: var(--slate); }\n.cf-page h3 {\n  font-family: var(--sans) !important; font-size: 1rem !important;\n  font-weight: 600 !important; color: var(--navy) !important;\n  margin-bottom: 0.6rem !important;\n}\n.cf-lead { font-size: 1.02rem; line-height: 1.8; color: #4A5568; max-width: 720px; margin-bottom: 2.5rem; }\n.cf-prose { font-size: 0.95rem; line-height: 1.8; color: #4A5568; max-width: 760px; margin-bottom: 1.5rem; }\n\n\/* DARK BAND *\/\n.cf-band-dark {\n  background: var(--navy); padding: 5rem 2rem; position: relative;\n}\n.cf-band-dark::before {\n  content:''; position:absolute; top:0; left:0; right:0; height:1px;\n  background: linear-gradient(90deg, transparent, var(--blue), transparent); opacity:0.3;\n}\n.cf-band-dark .cf-inner { max-width: 1000px; margin: 0 auto; }\n.cf-band-dark h2 { color: var(--white) !important; }\n.cf-band-dark .cf-lead { color: var(--gray); }\n.cf-band-dark .cf-section-label { color: var(--gold); }\n.cf-band-dark h3 { color: var(--ice) !important; }\n.cf-band-dark p { color: var(--gray); }\n\n\/* ARTICLE CARDS *\/\n.cf-article-grid {\n  display: grid; grid-template-columns: repeat(auto-fit, minmax(280px, 1fr));\n  gap: 1.5rem; margin-top: 2rem;\n}\n.cf-article-card {\n  border: 1px solid rgba(74,144,217,0.15); border-radius: 2px;\n  padding: 1.8rem; background: rgba(30,48,85,0.3);\n  transition: border-color 0.3s;\n}\n.cf-article-card:hover { border-color: rgba(201,169,110,0.4); }\n.cf-article-card h3 { color: var(--ice) !important; font-size: 0.95rem !important; margin-bottom: 0.4rem !important; }\n.cf-article-card p { color: var(--gray); font-size: 0.87rem; line-height: 1.65; }\n\n\/* PRINCIPLE ROW *\/\n.cf-principle-row {\n  display: grid; grid-template-columns: 3.5rem 1fr;\n  gap: 1rem; align-items: start; margin-bottom: 2rem;\n}\n.cf-principle-num {\n  font-family: var(--mono); font-size: 0.68rem;\n  color: var(--gold); letter-spacing: 0.1em; padding-top: 0.3rem;\n}\n.cf-principle-row h3 { margin-bottom: 0.3rem !important; }\n.cf-principle-row p { font-size: 0.9rem; line-height: 1.7; color: #4A5568; }\n\n\/* QUOTE *\/\n.cf-quote {\n  background: var(--cream); border-left: 3px solid var(--gold);\n  padding: 2rem 2.5rem; margin: 2.5rem 0;\n  font-family: var(--serif); font-size: 1.15rem; line-height: 1.7; color: var(--navy);\n}\n\n\/* BADGE *\/\n.cf-badge {\n  display: inline-block; font-family: var(--mono); font-size: 0.62rem;\n  padding: 0.15em 0.55em; border-radius: 1px; letter-spacing: 0.05em;\n}\n.cf-badge-active { background: rgba(39,174,96,0.1); color: var(--green); border: 1px solid rgba(39,174,96,0.2); }\n.cf-badge-doc { background: rgba(74,144,217,0.1); color: var(--blue); border: 1px solid rgba(74,144,217,0.2); }\n\n\/* FOOTER *\/\n.cf-footer {\n  background: var(--navy); padding: 4rem 2rem 2rem; position: relative;\n}\n.cf-footer::before {\n  content:''; position:absolute; top:0; left:0; right:0; height:1px;\n  background: linear-gradient(90deg, transparent, var(--blue), var(--gold), var(--blue), transparent); opacity:0.3;\n}\n.cf-footer .cf-inner {\n  max-width: 1000px; margin: 0 auto;\n  display: grid; grid-template-columns: 1.5fr 1fr 1fr; gap: 3rem;\n}\n.cf-footer-brand {\n  font-family: var(--mono); font-size: 1.3rem; font-weight: 600;\n  color: var(--white); margin-bottom: 0.7rem;\n}\n.cf-footer-brand span { color: var(--gold); }\n.cf-footer p { font-size: 0.8rem; color: var(--gray); line-height: 1.65; }\n.cf-footer h4 {\n  font-family: var(--mono) !important; font-size: 0.68rem !important;\n  color: var(--gold) !important; letter-spacing: 0.2em !important;\n  text-transform: uppercase; margin-bottom: 0.8rem !important;\n}\n.cf-footer a {\n  display: block; font-size: 0.82rem; color: rgba(184,212,240,0.5);\n  padding: 0.2rem 0; transition: color 0.3s;\n}\n.cf-footer a:hover { color: var(--ice); }\n.cf-footer-bottom {\n  max-width: 1000px; margin: 2rem auto 0;\n  padding-top: 1.5rem; border-top: 1px solid rgba(184,212,240,0.06);\n  display: flex; justify-content: space-between; align-items: center;\n  font-size: 0.72rem; color: rgba(140,155,175,0.4);\n}\n.cf-footer-legal { display: flex; gap: 1.2rem; }\n.cf-footer-legal a { display: inline; font-size: 0.72rem; color: rgba(140,155,175,0.4); padding: 0; }\n.cf-footer-legal a:hover { color: var(--gray); }\n\n@media (max-width: 768px) {\n  .cf-footer .cf-inner { grid-template-columns: 1fr; gap: 1.5rem; }\n  .cf-footer-bottom { flex-direction: column; text-align: center; gap: 0.5rem; }\n  .cf-principle-row { grid-template-columns: 1fr; }\n}\n\n\n\/* FIX-HERO-CENTER *\/\n.cf-hero,\n.cf-hero * {\n  text-align: center !important;\n  margin-left: auto !important;\n  margin-right: auto !important;\n}\n.cf-hero .cf-back {\n  display: inline-flex !important;\n}\n<\/style>\n\n<div class=\"cf-page\">\n\n<!-- HERO -->\n<div class=\"cf-hero\">\n  <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\" class=\"cf-back\">\u2190 CFVL<\/a>\n  <div class=\"cf-hero-label\">Document institutionnel<\/div>\n  <h1>Contact <em>acad\u00e9mique<\/em><\/h1>\n  <p class=\"cf-hero-sub\">Pour les collaborations de recherche, les propositions CIFRE, les co-encadrements doctoraux et les projets ANR \/ France 2030.<\/p>\n<\/div>\n\n\n<!-- CONTACT -->\n<div class=\"cf-section\" style=\"text-align:center\">\n  <div class=\"cf-section-label\">Recherche &amp; collaboration<\/div>\n  <h2>\u00c9changeons sur <em>la recherche formelle<\/em><\/h2>\n  <p class=\"cf-lead\" style=\"margin:0 auto 3rem\">\n    Le CFVL est ouvert aux \u00e9changes scientifiques avec les laboratoires,\n    les chercheurs et les doctorants travaillant en m\u00e9thodes formelles,\n    s\u00e9curit\u00e9 des syst\u00e8mes critiques et cryptographie formelle.\n  <\/p>\n  <div style=\"display:grid;grid-template-columns:repeat(auto-fit, minmax(280px,1fr));gap:1.5rem;text-align:left;max-width:700px;margin:0 auto\">\n    <div style=\"background:var(--cream);padding:2rem;border-radius:2px\">\n      <h3 style=\"font-size:0.9rem !important;margin-bottom:0.5rem !important\">Recherche &amp; CIFRE<\/h3>\n      <p style=\"font-size:0.88rem;color:#4A5568;line-height:1.6;margin-bottom:1rem\">\n        Propositions de collaboration, co-encadrements doctoraux, conventions CIFRE.\n      <\/p>\n      <a href=\"mailto:research@cortexorigin.com\" style=\"font-family:var(--mono);font-size:0.82rem;color:var(--blue);display:block\">\n        research@cortexorigin.com\n      <\/a>\n    <\/div>\n    <div style=\"background:var(--cream);padding:2rem;border-radius:2px\">\n      <h3 style=\"font-size:0.9rem !important;margin-bottom:0.5rem !important\">Projets ANR \/ France 2030<\/h3>\n      <p style=\"font-size:0.88rem;color:#4A5568;line-height:1.6;margin-bottom:1rem\">\n        Appels \u00e0 projets conjoints, partenariats institutionnels.\n      <\/p>\n      <a href=\"mailto:research@cortexorigin.com\" style=\"font-family:var(--mono);font-size:0.82rem;color:var(--blue);display:block\">\n        research@cortexorigin.com\n      <\/a>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- PROFILS RECHERCH\u00c9S -->\n<div class=\"cf-band-dark\">\n  <div class=\"cf-inner\">\n    <div class=\"cf-section-label\">Profils recherch\u00e9s<\/div>\n    <h2 style=\"color:#fff !important\">Comp\u00e9tences <em style=\"color:var(--ice)\">cl\u00e9s<\/em><\/h2>\n    <p class=\"cf-lead\">\n      Le CFVL recherche des collaborateurs ma\u00eetrisant au moins un des domaines suivants.\n    <\/p>\n    <div class=\"cf-article-grid\">\n      <div class=\"cf-article-card\">\n        <h3>Proof assistants<\/h3>\n        <p>Isabelle\/HOL, Coq, Lean 4. Exp\u00e9rience en formalisation de propri\u00e9t\u00e9s de s\u00e9curit\u00e9\n        ou de syst\u00e8mes. Raffinement et simulation.<\/p>\n      <\/div>\n      <div class=\"cf-article-card\">\n        <h3>V\u00e9rification C \/ syst\u00e8mes<\/h3>\n        <p>Frama-C \/ WP, SPARK\/Ada, analyse statique avanc\u00e9e.\n        Exp\u00e9rience en v\u00e9rification de code bas niveau ou embarqu\u00e9.<\/p>\n      <\/div>\n      <div class=\"cf-article-card\">\n        <h3>S\u00e9curit\u00e9 formelle<\/h3>\n        <p>Mod\u00e8les d&rsquo;isolation, non-interf\u00e9rence, analyse de flux d&rsquo;information,\n        mod\u00e8les BLP\/Biba, RBAC formalis\u00e9.<\/p>\n      <\/div>\n      <div class=\"cf-article-card\">\n        <h3>Cryptographie<\/h3>\n        <p>ProVerif, Tamarin, HACL*, F*. V\u00e9rification de protocoles,\n        propri\u00e9t\u00e9s post-quantiques, cha\u00eenes de confiance.<\/p>\n      <\/div>\n    <\/div>\n  <\/div>\n<\/div>\n\n<!-- LOCALISATION -->\n<div class=\"cf-section\" style=\"text-align:center\">\n  <h2>Bas\u00e9 \u00e0 <em>Paris<\/em><\/h2>\n  <p class=\"cf-prose\" style=\"max-width:500px;margin:0 auto 1.5rem\">\n    CORTEX AI TM \u2014 CFVL<br>\n    58 Rue de Monceau<br>\n    75008 Paris, France\n  <\/p>\n  <p style=\"font-family:var(--mono);font-size:0.82rem;color:var(--blue)\">\n    <a href=\"mailto:research@cortexorigin.com\" style=\"color:var(--blue)\">research@cortexorigin.com<\/a>\n  <\/p>\n<\/div>\n\n\n<!-- CLOSING -->\n<div class=\"cf-section\" style=\"text-align:center; padding: 3rem 2rem;\">\n  <p style=\"font-family:var(--mono);font-size:0.72rem;color:var(--gray);letter-spacing:0.1em\">\n    CFVL-REC-004 \u00b7 Contact acad\u00e9mique \u00b7 Version 1.0 \u00b7 F\u00e9vrier 2026\n  <\/p>\n<\/div>\n\n<!-- FOOTER -->\n<div class=\"cf-footer\">\n  <div class=\"cf-inner\">\n    <div>\n      <div class=\"cf-footer-brand\">CFVL<span>.<\/span><\/div>\n      <p>CORTEX Formal Verification Laboratory<br>\n      Autorit\u00e9 interne de validation formelle<br>\n      Rattachement : CORTEX AI TM<\/p>\n    <\/div>\n    <div>\n      <h4>Cadre<\/h4>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/689-2\/\">CFVL \u2014 Page principale<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-charte\/\">Charte du laboratoire<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-methodologie\/\">M\u00e9thodologie<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-journal-rd\/\">Journal R&amp;D<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-template-rapport\/\">Template rapport<\/a>\n    <\/div>\n    <div>\n      <h4>Recherche<\/h4>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-axes-scientifiques\/\">Axes scientifiques<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-publications\/\">Publications<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-collaborations\/\">Collaborations<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/cfvl-contact-academique\/\">Contact acad\u00e9mique<\/a>\n    <\/div>\n  <\/div>\n  <!-- AUDIENCE BAR -->\n  <div style=\"border-top:1px solid rgba(184,212,240,0.08);padding:1.2rem 0;display:flex;justify-content:center;flex-wrap:wrap;gap:1.5rem 2.5rem;margin-top:1rem\">\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/814-2\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>IA expliqu\u00e9e simplement<\/a>\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/investisseurs-partenaires\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Investisseurs &amp; partenaires<\/a>\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/industriels-integrateurs\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>Industriels &amp; int\u00e9grateurs<\/a>\n    <a href=\"https:\/\/cortexorigin.com\/index.php\/decideurs-publics-autorites\/\" style=\"display:inline-flex;align-items:center;gap:0.5rem;color:rgba(184,212,240,0.55);font-size:0.78rem;font-family:'DM Sans',sans-serif;letter-spacing:0.04em;text-decoration:none;transition:color 0.3s\"><span style=\"width:6px;height:6px;border-radius:50%;background:#c9a84c;display:inline-block\"><\/span>D\u00e9cideurs publics &amp; autorit\u00e9s<\/a>\n  <\/div>\n  <div class=\"cf-footer-bottom\">\n    <span>\u00a9 2026 CORTEX AI TM \u2014 CFVL \u2014 Tous droits r\u00e9serv\u00e9s<\/span>\n    <div class=\"cf-footer-legal\">\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/781-2\/\">Mentions l\u00e9gales<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/784-2\/\">Confidentialit\u00e9<\/a>\n      <a href=\"https:\/\/cortexorigin.com\/index.php\/791-2\/\">CGU<\/a>\n    <\/div>\n  <\/div>\n<\/div>\n\n\n<\/div><!-- \/.cf-page -->\n","protected":false},"excerpt":{"rendered":"<p>\u2190 CFVL Document institutionnel Contact acad\u00e9mique Pour les collaborations de recherche, les propositions CIFRE, les co-encadrements doctoraux et les projets ANR \/ France 2030. Recherche &amp; collaboration \u00c9changeons sur la recherche formelle Le CFVL est ouvert aux \u00e9changes scientifiques avec les laboratoires, les chercheurs et les doctorants travaillant en m\u00e9thodes formelles, s\u00e9curit\u00e9 des syst\u00e8mes critiques [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-837","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/837","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/comments?post=837"}],"version-history":[{"count":1,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/837\/revisions"}],"predecessor-version":[{"id":838,"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/pages\/837\/revisions\/838"}],"wp:attachment":[{"href":"https:\/\/cortexorigin.com\/index.php\/wp-json\/wp\/v2\/media?parent=837"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}