CINXE.COM

<!DOCTYPE html> <html xmlns="http://www.w3.org/1999/xhtml" lang="fr" dir="ltr" class="no-js"> <head> <meta charset="UTF-8" /> <title>Thèses</title>  <script> var _paq = window._paq = window._paq || []; /* tracker methods like "setCustomDimension" should be called before "trackPageView" */ _paq.push(['trackPageView']); _paq.push(['enableLinkTracking']); (function() { var u="//apps.roulois.fr/matomo/"; _paq.push(['setTrackerUrl', u+'matomo.php']); _paq.push(['setSiteId', '1']); var d=document, g=d.createElement('script'), s=d.getElementsByTagName('script')[0]; g.async=true; g.src=u+'matomo.js'; s.parentNode.insertBefore(g,s); })(); </script>  <script>(function(H){H.className=H.className.replace(/\bno-js\b/,'js')})(document.documentElement)</script> <meta name="viewport" content="width=device-width,initial-scale=1" /> <link rel="shortcut icon" href="https://www.irif.fr/_media/favicon.ico" /> <link rel="apple-touch-icon" href="https://www.irif.fr/_media/apple-touch-icon.png" /> <meta name="generator" content="DokuWiki"/> <meta name="robots" content="index,follow"/> <meta name="keywords" content="postes,these"/> <link rel="search" type="application/opensearchdescription+xml" href="https://www.irif.fr/lib/exe/opensearch.php" title=""/> <link rel="start" href="https://www.irif.fr/"/> <link rel="contents" href="https://www.irif.fr/postes/these?do=index" title="Plan du site"/> <link rel="manifest" href="https://www.irif.fr/lib/exe/manifest.php"/> <link rel="alternate" type="text/html" title="HTML brut" href="https://www.irif.fr/_export/xhtml/postes/these"/> <link rel="alternate" type="text/plain" title="Wiki balise" href="https://www.irif.fr/_export/raw/postes/these"/> <link rel="canonical" href="https://www.irif.fr/postes/these"/> <link rel="stylesheet" href="https://www.irif.fr/lib/exe/css.php?t=bootstrap3&tseed=61a6ee3a3e4185dd1cf55b36d7bda871"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/css/fixedHeader.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/css/fixedColumns.dataTables.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/css/dataTables.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/css/buttons.bootstrap.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/font-awesome/css/font-awesome.min.css"/> <link type="text/css" rel="stylesheet" href="https://www.irif.fr/lib/plugins/icons/assets/material-design-icons/css/materialdesignicons.min.css"/>  <script >/*<![CDATA[*/var NS='postes';var JSINFO = {"plugin":{"datatables":{"config":{"dom":"lBfrtip","language":{"url":"https:\/\/www.irif.fr\/lib\/plugins\/datatables\/assets\/datatables.net-i18n\/fr-FR.json"}},"enableForAllTables":1}},"move_renameokay":false,"move_allowrename":false,"bootstrap3":{"mode":"show","toc":[],"config":{"collapsibleSections":0,"fixedTopNavbar":1,"showSemanticPopup":0,"sidebarOnNavbar":1,"tagsOnTop":1,"tocAffix":1,"tocCollapseOnScroll":1,"tocCollapsed":0,"tocLayout":"default","useAnchorJS":1,"useAlternativeToolbarIcons":1}},"id":"postes:these","namespace":"postes","ACT":"show","useHeadingNavigation":1,"useHeadingContent":1}; /*!]]>*/</script> <script src="https://www.irif.fr/lib/exe/jquery.php?tseed=34a552433bc33cc9c3bc32527289a0b2" defer="defer"></script> <script src="https://www.irif.fr/lib/exe/js.php?t=bootstrap3&tseed=61a6ee3a3e4185dd1cf55b36d7bda871" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/jquery.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedheader-dt/js/fixedHeader.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-fixedcolumns-dt/js/fixedColumns.dataTables.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/dataTables.buttons.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.html5.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.print.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/jszip/jszip.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/pdfmake.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/pdfmake/vfs_fonts.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net/js/dataTables.bootstrap.min.js" defer="defer"></script> <script type="text/javascript" src="https://www.irif.fr/lib/plugins/datatables/assets/datatables.net-buttons/js/buttons.bootstrap.min.js" defer="defer"></script> <script type="text/x-mathjax-config">/*<![CDATA[*/MathJax.Hub.Config({ tex2jax: { inlineMath: [ ["$","$"], ["\$","\$"] ], displayMath: [ ["$$","$$"], ["\\[","\\]"] ], processEscapes: true } }); /*!]]>*/</script> <script type="text/javascript" charset="utf-8" src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.9/MathJax.js?config=TeX-AMS_CHTML.js"></script>  <style type="text/css">@media screen { body { margin-top: 60px; } #dw__toc.affix { top: 50px; position: fixed !important; } #dw__toc .nav .nav .nav { display: none; } }</style>  </head> <body class="simplex dokuwiki mode_show tpl_bootstrap3 dw-fluid-container" data-page-id="postes:these"><div class="dokuwiki"> <header id="dokuwiki__header" class="dw-container dokuwiki container-fluid mx-5">  <nav id="dw__navbar" class="navbar navbar-fixed-top navbar-inverse" role="navigation"> <div class="dw-container container-fluid mx-5"> <div class="navbar-header"> <button class="navbar-toggle" type="button" data-toggle="collapse" data-target=".navbar-collapse"> <span class="icon-bar"></span> <span class="icon-bar"></span> <span class="icon-bar"></span> </button> <a class="navbar-brand d-flex align-items-center" href="https://www.irif.fr/index" accesskey="h" title=""><img id="dw__logo" class="pull-left h-100 mr-4" alt="" src="https://www.irif.fr/_media/logo.png" /><div class="pull-right"><div id="dw__title"></div></div></a> </div> <div class="collapse navbar-collapse"> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">INFORMATIONS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/presentation" class="wikilink1" title="informations:presentation" >Présentation</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/contacts" class="wikilink1" title="informations:contacts" >Contacts et accès</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/charte" class="wikilink1" title="informations:charte" >Charte des membres de l’IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/egalite-fh/index" class="wikilink1" title="egalite-fh:index" >Égalités</a> </li> <li class="level2"> <a href="https://www.irif.fr/environnement/index" class="wikilink1" title="environnement:index" >Environnement</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/annuaire" class="wikilink1" title="informations:annuaire" >Annuaire</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/mentorat" class="wikilink1" title="informations:mentorat" >Programme de mentorat</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/childcare" class="wikilink1" title="informations:childcare" >Childcare program</a> </li> <li class="level2"> <a href="https://www.irif.fr/informations/hceres" class="wikilink1" title="informations:hceres" >Évaluation HCERES - 28 au 30 Novembre 2023 (vague D)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">RECHERCHE <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/poles/asd/index" class="wikilink1" title="poles:asd:index" >Algorithmes et structures discrètes</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algocomp/index" class="wikilink1" title="equipes:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/distribue/index" class="wikilink1" title="equipes:distribue:index" >Calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/combi/index" class="wikilink1" title="equipes:combi:index" >Combinatoire</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/graphes/index" class="wikilink1" title="equipes:graphes:index" >Théorie et algorithmique des graphes</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/poles/asv/index" class="wikilink1" title="poles:asv:index" >Automates, structures et vérification</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/automates/index" class="wikilink1" title="equipes:automates:index" >Automates et applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/verif/index" class="wikilink1" title="equipes:verif:index" >Modélisation et vérification</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/poles/pps/index" class="wikilink1" title="poles:pps:index" >Preuves, programmes et systèmes</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/algebre/index" class="wikilink1" title="equipes:algebre:index" >Algèbre et calcul</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/programmes/index" class="wikilink1" title="equipes:programmes:index" >Programmes et Langages (PL)</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/preuves/index" class="wikilink1" title="equipes:preuves:index" >Preuves et programmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/equipes/picube/index" class="wikilink1" title="equipes:picube:index" >Picube (Inria)</a> <hr/> </li> <li class="level2"> <strong><a href="https://cnrs.hal.science/IRIF/" class="" title="https://cnrs.hal.science/IRIF/" rel="ugc nofollow">PUBLICATIONS (hal)</a></strong> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">ÉVÉNEMENTS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/evenements" class="wikilink1" title="seminaires:evenements" >Evénements de l'IRIF</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/irif/index" class="wikilink1" title="seminaires:irif:index" >IRIF Distinguished Talks Series</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/irif/index" class="wikilink1" title="rencontres:irif:index" >Journées de l'IRIF</a> </li> <li class="level2"> <a href="https://www.irif.fr/rencontres/poles/index" class="wikilink1" title="rencontres:poles:index" >Rencontres de pôles</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/seminaires" class="wikilink1" title="seminaires:seminaires" >Séminaires de recherche</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/algocomp/index" class="wikilink1" title="seminaires:algocomp:index" >Algorithmes et complexité</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/asd/index" class="wikilink1" title="seminaires:asd:index" >Algorithmes et structures discrètes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/automates/index" class="wikilink1" title="seminaires:automates:index" >Automates</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/combi/index" class="wikilink1" title="seminaires:combi:index" >Combinatoire énumérative et analytique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/picube/index" class="wikilink1" title="seminaires:picube:index" >Séminaire Formath (Formalized Mathematics)</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/adg/index" class="wikilink1" title="seminaires:adg:index" >Graphes et calcul distribué</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/pps/index" class="wikilink1" title="seminaires:pps:index" >Preuves, programmes et systèmes</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/verif/index" class="wikilink1" title="seminaires:verif:index" >Vérification</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/doctorants/index" class="wikilink1" title="seminaires:doctorants:index" >Séminaire des membres non-permanents</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/onlineseminars" class="wikilink1" title="seminaires:onlineseminars" >Séminaires en ligne</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/greta/index" class="wikilink1" title="seminaires:greta:index" >Graph Transformation Theory and Applications</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/numeration/index" class="wikilink1" title="seminaires:numeration:index" >One world numeration seminar</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/gt" class="wikilink1" title="seminaires:gt" >Groupes de travail</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/cat/index" class="wikilink1" title="seminaires:cat:index" >Catégories supérieures, polygraphes et homotopie</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/sms/index" class="wikilink1" title="seminaires:sms:index" >La syntaxe rencontre la sémantique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/hott/index" class="wikilink1" title="seminaires:hott:index" >La théorie des types et la théorie de l'homotopie</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/laag/index" class="wikilink1" title="seminaires:laag:index" >Logique, automates, algèbre et jeux</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/programmation/index" class="wikilink1" title="seminaires:programmation:index" >Programmation</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/semantique/index" class="wikilink1" title="seminaires:semantique:index" >Sémantique</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/types/index" class="wikilink1" title="seminaires:types:index" >Théorie des types et réalisabilité</a> </li> <li class="level2"> <strong><a href="https://www.irif.fr/seminaires/soutenances" class="wikilink1" title="seminaires:soutenances" >Soutenances</a></strong> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/these/index" class="wikilink1" title="seminaires:these:index" >Soutenances de thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/seminaires/hdr/index" class="wikilink1" title="seminaires:hdr:index" >Soutenances d'habilitation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">MÉDIATION <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/mediation/fdls" class="wikilink1" title="mediation:fdls" >Fête de la Science</a> </li> <li class="level2"> <a href="https://www.irif.fr/mediation/confcrypto" class="wikilink1" title="mediation:confcrypto" >Conférence vidéo “Manuel de Cryptanalyse à l’usage de la NSA”</a> </li> <li class="level2"> <a href="https://www.irif.fr/mediation/scolaire" class="wikilink1" title="mediation:scolaire" >Stages scolaires d’observation</a> </li> <li class="level2"> <a href="https://www.irif.fr/portraits/index" class="wikilink1" title="portraits:index" >Portraits de recherche</a> </li> <li class="level2"> <a href="https://icalp2022.irif.fr/?page_id=1111" class="" title="https://icalp2022.irif.fr/?page_id=1111" rel="ugc nofollow">Exposition 50 ans</a> </li> <li class="level2"> <a href="https://qubobs.irif.fr/fr/" class="" title="https://qubobs.irif.fr/fr/" rel="ugc nofollow">Projet QuBOBS (quantum computing explained)</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">POINTS CLÉS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/distinctions/index" class="wikilink1" title="distinctions:index" > Prix et distinctions</a> </li> <li class="level2"> <a href="https://www.irif.fr/logiciels/index" class="wikilink1" title="logiciels:index" >Logiciels</a> </li> <li class="level2"> <a href="https://www.irif.fr/contrats/index" class="wikilink1" title="contrats:index" >Contrats</a> </li> <li class="level2"> <a href="https://www.irif.fr/international/index" class="wikilink1" title="international:index" >Collaborations internationales</a> </li> <li class="level2"> <a href="https://epit.irif.fr" class="" title="https://epit.irif.fr" rel="ugc nofollow">L'école thématique EPIT</a> </li> <li class="level2"> <a href="https://www.irif.fr/formation/index" class="wikilink1" title="formation:index" >Formation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1 node active dropdown"><a href="#" class="dropdown-toggle" data-target="#" data-toggle="dropdown" role="button" aria-haspopup="true" aria-expanded="false">REJOIGNEZ-NOUS <span class="caret"></span></a> <ul class="dropdown-menu" role="menu"> <li class="level2"> <a href="https://www.irif.fr/informations/visit" class="wikilink1" title="informations:visit" >Programme visiteurs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/admin" class="wikilink1" title="postes:admin" >Postes soutien à la recherche</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/universite" class="wikilink1" title="postes:universite" >Enseignant·e·s-chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/chercheur" class="wikilink1" title="postes:chercheur" >Chercheurs·euses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/postdoc" class="wikilink1" title="postes:postdoc" >Postdocs</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/ater" class="wikilink1" title="postes:ater" >ATER</a> </li> <li class="level2 active"> <a href="https://www.irif.fr/postes/these" class="wikilink1" title="postes:these" data-wiki-curid="true">Thèses</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage" class="wikilink1" title="postes:stage" >Stages de master</a> </li> <li class="level2"> <a href="https://www.irif.fr/postes/stage-scolaire" class="wikilink1" title="postes:stage-scolaire" >Stages scolaires d’observation</a> </li> </ul> </li> </ul> <ul class="nav navbar-nav"> <li class="level1"> <a href="https://www.irif.fr/intranet/index" class="wikilink1" title="intranet:index" >INTRANET</a> </li> </ul> <div class="navbar-right" id="dw__navbar_items">  <ul class="nav navbar-nav" id="dw__translation"> <li class="dropdown"> <a href="" class="dropdown-toggle" data-target="#" data-toggle="dropdown" title="Traductions de cette page" role="button" aria-haspopup="true" aria-expanded="false"> <span class="iconify" data-icon="mdi:flag"></span> <span class="hidden-lg hidden-md hidden-sm">Traductions de cette page</span><span class="caret"></span> </a> <ul class="dropdown-menu" role="menu"> <li class="dropdown-header hidden-xs hidden-sm"> <span class="iconify" data-icon="mdi:flag"></span> Traductions de cette page </li> <li><div class='li cur'><a href="https://www.irif.fr/postes/these" class="wikilink1 cur flag" title="Français"><img src="https://www.irif.fr/lib/plugins/translation/flags/fr.gif" alt="fr" height="11" />Français</a></li><li><div class='li'><a href="https://www.irif.fr/en/postes/these" class="wikilink1 flag" title="English"><img src="https://www.irif.fr/lib/plugins/translation/flags/en.gif" alt="en" height="11" />English</a></li> </ul> </li> </ul>  <ul class="nav navbar-nav"> <li> <span class="dw__actions dw-action-icon"> <a href="https://www.irif.fr/postes/these?do=login&sectok=" title="S'identifier" rel="nofollow" class="menuitem login btn btn-default navbar-btn"><svg xmlns="http://www.w3.org/2000/svg" width="24" height="24" viewBox="0 0 24 24"><path d="M10 17.25V14H3v-4h7V6.75L15.25 12 10 17.25M8 2h9a2 2 0 0 1 2 2v16a2 2 0 0 1-2 2H8a2 2 0 0 1-2-2v-4h2v4h9V4H8v4H6V4a2 2 0 0 1 2-2z"/></svg><span class=""> S'identifier</span></a> </span> </li> </ul> </div> </div> </div> </nav>  </header> <a name="dokuwiki__top" id="dokuwiki__top"></a> <main role="main" class="dw-container pb-5 dokuwiki container-fluid mx-5"> <div id="dokuwiki__pageheader"> <p class="text-right"> </p> <div id="dw__msgarea" class="small"> </div> </div> <div class="row"> <article id="dokuwiki__content" class="col-sm-12 col-md-12 " itemscope itemtype="http://schema.org/Article" itemref="dw__license">  <div class="no-panel" itemprop="articleBody"> <div class="page "> <div class="dw-content-page "><div class="dw-content"><h2 class="sectionedit1 page-header pb-3 mb-4 mt-5" id="theses">Thèses</h2> <div class="level2"> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="#context" title="postes:these ↵" class="wikilink1">Context</a></div> </li> <li class="level1"><div class="li"> <a href="#description_of_phd_studies_at_irif" title="postes:these ↵" class="wikilink1">Description of PhD studies at IRIF</a></div> </li> <li class="level1"><div class="li"> <a href="#how_to_apply" title="postes:these ↵" class="wikilink1">How to apply</a></div> </li> <li class="level1"><div class="li"> <a href="#possible_fundings_topics" title="postes:these ↵" class="wikilink1">Possible fundings & topics</a></div> </li> </ul> <hr /> </div> <h4 id="context">Context</h4> <div class="level4"> <p> <strong>IRIF</strong> (CNRS and Université Paris Cité), Paris, France, is seeking excellent candidates for Ph.D. fellowships in all areas of Foundations of Computer Science. <strong>Every year, about 20 new Ph.D. students</strong> start their doctoral studies at IRIF. </p> <p> IRIF (Institute for Research in Foundations of Computer Science) is a joint laboratory of the <strong>CNRS</strong> (French National Center for Scientific Research) and <strong>Université Paris Cité</strong>. Currently, it hosts about 90 permanent faculty members, 40 non-permanent full-time researchers, and 50 Ph.D. students. </p> <p> The research conducted at IRIF is based on the study and understanding of the foundations of all areas of computer science. Such research work relies on mathematical concepts developed and studied within it, but it also contributes directly to mathematics. Typical areas include but are not limited to: algorithms, their design and analysis, automata theory and applications, combinatorics, complex systems, complexity, computational formalisms, distributed computation, foundations of programming languages, interactive proof assistants, graph theory and its algorithms, logic, networks, quantum computing, software development, systems modeling and verification. For further information about IRIF please see our <a href="https://www.irif.fr/en/informations/presentation" class="urlextern" title="https://www.irif.fr/en/informations/presentation" rel="ugc nofollow">presentation of IRIF</a>. </p> <hr /> </div> <h4 id="description_of_phd_studies_at_irif">Description of PhD studies at IRIF</h4> <div class="level4"> <p> In France, Ph.D. studies are typically <strong>3 years</strong> long and can be extended in some cases to <strong>4 years</strong>. Ph.D. fellowships are full-time research contracts with some optional additional activities such as teaching. The <strong>starting date</strong> of the positions is usually in <strong>October 1st</strong>, but this may sometimes vary. All IRIF Ph.D. students must register at <a href="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" class="urlextern" title="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" rel="ugc nofollow">Paris Doctoral School of Mathematical Sciences</a> (ED386). </p> <p> Many Ph.D. studies starting at IRIF are the continuation of master programs, such as the <a href="http://www.math.univ-paris-diderot.fr/m2lmfi/" class="urlextern" title="http://www.math.univ-paris-diderot.fr/m2lmfi/" rel="ugc nofollow">LMFI</a> or the <a href="https://wikimpri.dptinfo.ens-cachan.fr/doku.php" class="urlextern" title="https://wikimpri.dptinfo.ens-cachan.fr/doku.php" rel="ugc nofollow">MPRI</a>, but this is not mandatory and IRIF regularly welcomes Ph.D. students joining after a master in another French or foreign university. </p> <p> IRIF also participates to two Graduate Schools of Université Paris Cité: <a href="https://u-paris.fr/mathematicalsciences/" class="urlextern" title="https://u-paris.fr/mathematicalsciences/" rel="ugc nofollow">Mathematical Sciences</a> and <a href="https://u-paris.fr/graduate-schools/quantumtechnologies/" class="urlextern" title="https://u-paris.fr/graduate-schools/quantumtechnologies/" rel="ugc nofollow">Quantum Technologies</a>. </p> <p> Funding Ph.D. studies at IRIF can be obtained by applying to a scholarship through IRIF and its related partners (such as IRIF research grants, Université Paris Cité, regional programs, industrial partnerships …) or by applying to another institution independent from IRIF (such as his/her current institution, campus France, …). </p> <p> In addition, Ph.D. students can be teaching assistants during their studies. <a href="https://doctorat.u-paris.fr/enseigner-durant-le-doctorat/" class="urlextern" title="https://doctorat.u-paris.fr/enseigner-durant-le-doctorat/" rel="ugc nofollow">More information</a> (in french). </p> <hr /> </div> <h4 id="how_to_apply">How to apply</h4> <div class="level4"> <p> It is advised to contact IRIF as soon as possible in order not to miss a possible call (see <a href="#possible_fundings_topics" title="postes:these ↵" class="wikilink1">possible funding</a> below). </p> <p> Ideally, the <strong>contact</strong> should be the researcher you would like to work with. It can also be the head of the thematic group or head of the pole corresponding to your scientific interests (see the <a href="https://www.irif.fr/en/informations/presentation" class="urlextern" title="https://www.irif.fr/en/informations/presentation" rel="ugc nofollow">presentation of IRIF</a>). Please avoid multiplying the contacts (alternatively, contact all concerned persons with a single e-mail so as they are aware of this). </p> <p> Independently, there is also the possibility to directly apply to one or more <strong>specific fellowships</strong> funded by research grants. The list can be found <a href="#specific_openings" title="postes:these ↵" class="wikilink1">below</a>; it is not exhaustive and might be updated at any moment. </p> <p> In all cases, the candidate should <strong>join a CV</strong>, and is advised to give as much information as possible (such as <strong>transcripts</strong> of her/his marks for the bachelor and master program). </p> <hr /> </div> <h4 id="possible_fundings_topics">Possible fundings & topics</h4> <div class="level4"> <p> The Ph.D. fundings at IRIF are financed either by IRIF research grants, or by joint applications of IRIF members and the candidate to outside funding agencies with which IRIF is affiliated. </p> </div> <h5 id="generic_fundings">Generic fundings</h5> <div class="level5"> <p> There are several possibilities of fundings, and the candidate should contact IRIF for guidance. </p> <p> IRIF depends on the <strong>graduate school</strong> <a href="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" class="urlextern" title="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" rel="ugc nofollow">ED 386 - École doctorale de Sciences Mathématiques de Paris Centre</a>. Several scholarships are allocated directly from that school every year. IRIF is also eligible to several funding programs from its partners, which allow the recipients to conduct doctoral research at IRIF among other possibilities. Below are listed the most relevant programs for IRIF in 2023: </p> <ul class=" fix-media-list-overlap"> <li class="level1"><div class="li"> <a href="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" class="urlextern" title="https://www.math.univ-paris-diderot.fr/formations/doctorats/index" rel="ugc nofollow">ED 386 - École doctorale de Sciences Mathématiques de Paris Centre</a> - Deadline June, 9th 2023, with an IRIF pre-submission deadline on May, 21st 2023.</div> </li> <li class="level1"><div class="li"> «Jean‐Pierre Aguilar» Fellowship of the <a href="http://www.fondation-cfm.fr/comment-postuler/" class="urlextern" title="http://www.fondation-cfm.fr/comment-postuler/" rel="ugc nofollow">Fondation CFM</a> - (Local) Deadline June, 5th 2023</div> </li> <li class="level1"><div class="li"> A special program for applicants with disabilities is also available through <a href="https://www.enseignementsup-recherche.gouv.fr/fr/contrats-doctoraux-handicap-campagne-nationale-2022-82669" class="urlextern" title="https://www.enseignementsup-recherche.gouv.fr/fr/contrats-doctoraux-handicap-campagne-nationale-2022-82669" rel="ugc nofollow">Doctorat Handicap</a> - (Local) Deadline May, 23rd 2023</div> </li> <li class="level1"><div class="li"> Cofund <a href="https://mathphdinfrance.fr/" class="urlextern" title="https://mathphdinfrance.fr/" rel="ugc nofollow">MathPhDInFrance</a> of the FSMP offers 24 PhD fellowships co-directed by eligible laboratories, one in Île-de-France laboratory and one in another region. -The first step of the application procedure is open until February 14, 2024. Important eligibility condition: the candidate must not have spent more than one year in France between 14/02/2021 and 14/02/2024.</div> </li> </ul> <p> An application through <a href="https://www.campusfrance.org/en/bursaries-foreign-students" class="urlextern" title="https://www.campusfrance.org/en/bursaries-foreign-students" rel="ugc nofollow">Campus France</a> is also possible for individual fellowships. </p> </div> <h5 id="specific_topics">Specific topics</h5> <div class="level5"> <p> The following list describes potential Ph.D. topics at IRIF, some of them come with a dedicated scholarships. Otherwise the candidate will have to apply with her/his potential advisor to one of the generic fundings. This list is subject to be updated at any time.<br/> <em>To add an opening, please contact <a href="mailto:direction@irif.fr" class="mail" title="direction@irif.fr">direction@irif.fr</a>.</em> </p> <div class="bs-wrap bs-wrap-panel panel panel-default"><div class="panel-heading"><h4 class="panel-title">Model Checking for Malware (Virus) Detection</h4></div><div class="panel-body"> <p> The recruited PhD student is expected to investigate and develop novel techniques, algorithms and tools for malware detection. The ultimate goal is to build a malware detector that beats the existing commercial malware detection tools. More details can be found here: <a href="https://www.irif.fr/~touili/sujet-PhD.pdf" class="urlextern" title="https://www.irif.fr/~touili/sujet-PhD.pdf" rel="ugc nofollow">https://www.irif.fr/~touili/sujet-PhD.pdf</a> <br/> Funding: a project grant. <em class="u">Open call</em>. <br/> The candidates must have a master in computer science. They must send a CV, university grades, recommendation letters, and a motivation letter to <a href="mailto:touili@irif.fr" class="mail" title="touili@irif.fr">touili@irif.fr</a>. Contact Tayssir TOUILI, <a href="mailto:touili@irif.fr" class="mail" title="touili@irif.fr">touili@irif.fr</a>. </p> </div></div><div class="bs-wrap bs-wrap-panel panel panel-default"><div class="panel-heading"><h4 class="panel-title">Quantum computing</h4></div><div class="panel-body"> <p> The <a href="https://www.irif.fr/en/equipes/algocomp/index" class="urlextern" title="https://www.irif.fr/en/equipes/algocomp/index" rel="ugc nofollow">Algorithms & Complexity group</a> at IRIF (CNRS, Université Paris-Cité) in Paris (France) invites applications for multiple fully funded PhD positions to work on the theory of quantum computing. Candidates with expertise in quantum computing or theoretical computer science more broadly are encouraged to apply.<br/> The group has expertise in quantum algorithms and quantum complexity theory, and includes permanent members such as Simon Apers, Geoffroy Couteau, Pierre Fraigniaud, Iordanis Kerenidis, Sophie Laplante, Frédéric Magniez, Claire Mathieu, Miklos Santha and Adrian Vladu.<br/> Funding: Internal grants. <em class="u">Open call</em>. Apply at: <a href="mailto:algocomp-apply@irif.fr" class="mail" title="algocomp-apply@irif.fr">algocomp-apply@irif.fr</a>. Contact <a href="mailto:simon.apers@irif.fr" class="mail" title="simon.apers@irif.fr">simon.apers@irif.fr</a>. </p> </div></div><div class="bs-wrap bs-wrap-panel panel panel-default"><div class="panel-heading"><h4 class="panel-title">Beyond Worst-case complexity</h4></div><div class="panel-body"> <p> In many situations, algorithms work on very specific data distribution. For example, social graphs follow a power law degree distribution and some very simple algorithms work well on these distributions. Which hard problems remain hard or become easy in this context? It is the main question asked for approximate algorithms, which include Property testing for decision problems, search problems, optimization and counting problems.<br/> Funding: Apply to generic openings. Contact : <a href="mailto:mdr@irif.fr" class="mail" title="mdr@irif.fr">Michel de Rougemont</a> </p> </div></div><div class="bs-wrap bs-wrap-panel panel panel-default"><div class="panel-heading"><h4 class="panel-title">Fast algorithms for combinatorial optimization and machine learning</h4></div><div class="panel-body"> <p> The goal of this project is to develop fast and practical solutions for fundamental algorithmic problems. This involves designing faster algorithms for classical problems in combinatorial optimization (involving graphs, matchings, submodular functions, matroids, etc.), and developing new theory relevant to modern machine learning (with a focus on deep learning). The mathematical toolkit is based on modern techniques from continuous optimization, and interferes with other interesting theory from convex geometry, probability and numerical linear algebra.<br/> Funding: Apply to generic openings. Contact: <a href="mailto:vladu@irif.fr" class="mail" title="vladu@irif.fr">Adrian Vladu</a> </p> </div></div><div class="bs-wrap bs-wrap-panel panel panel-default"><div class="panel-heading"><h4 class="panel-title">Computational varieties</h4></div><div class="panel-body"> <p> We aim to pursue the study of the Lambda Calculus through the lens of Universal Algebra, by dissecting the algebraic structure of lambda-theories. Once suitable structure is found, new results in both fields are at hand, as witnessed by recent work on n-dimensional Boolean algebras and clone algebras.<br/> Funding: Apply to generic openings. Contact: <a href="mailto:buccia@irif.fr" class="mail" title="buccia@irif.fr">Antonio Bucciarelli</a> </p> </div></div> </div> </div></div><p> <style> .page a.urlextern, .page a.interwiki, .page a.windows, .page a.mail, .page a.media { padding-left: 0 !important; background: none !important; } .page { text-align: justify; } body {font-size: 15px; font-weight: 300; color: #333333; } b,strong {font-weight: 600; color: #333333; } p {margin-bottom:1.3em} h1 {font-size: 2.8em; margin-bottom:1.5em; font-weight: 400; } h2 {font-size: 2.2em; margin-bottom:1.2em; font-weight: 400; } h3 {font-size: 1.9em; margin-bottom:0.9em; font-weight: 400; } h4 {font-size: 1.7em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.5em; margin-bottom:0.8em; font-weight: 300; } h5 {font-size: 1.4em; margin-bottom:0.8em; font-weight: 300; } </style> </p> </div> </div> <div class="small text-right"> </div> </article> </div> </main> <footer id="dw__footer" class="dw-container py-5 dokuwiki container-fluid">  <div class="dw-container small container-fluid mx-5"> <div class="footer-dw-title"> <div class="media"> <div class="media-left">  <img src="https://www.irif.fr/_media/logo_footer.png" alt="" class="media-object" style="height:10px" /> </div> <div class="media-body"> <div class="row"> <div class="col-sm-2"> <h4 class="media-heading"></h4> <p> </p> </div> <div class="col-sm-10"> </div> </div> </div> </div> </div> <a style="font-size:12px" href="https://www.irif.fr/informations/mentions-legales">Mentions légales</a> <div class="footer-license row"> <hr/> <div id="dw__license" class="col-sm-6"> </div> <div class="col-sm-6"> </div> </div> </div>  </footer> <a href="#dokuwiki__top" class="back-to-top hidden-print btn btn-default" title="Aller au contenu" accesskey="t"> <span class="iconify" data-icon="mdi:chevron-up"></span> </a> <div id="screen__mode"> <span class="visible-xs-block"></span> <span class="visible-sm-block"></span> <span class="visible-md-block"></span> <span class="visible-lg-block"></span> </div> <img src="https://www.irif.fr/lib/exe/taskrunner.php?id=postes%3Athese&1739795866" width="2" height="1" alt="" /> </div> </body> </html>