Doctorant (F/H) Une Approche de L'instantiation

**Type de contrat **:CDD

**Niveau de diplôme exigé **:Bac + 5 ou équivalent

**Fonction **:Doctorant

**Niveau d'expérience souhaité **:Jeune diplômé

**A propos du centre ou de la direction fonctionnelle**:
Le centre de recherche Inria de Saclay a été créé en 2008. Sa dynamique s’inscrit dans le
développement du plateau de Saclay, en partenariat étroit d’une part avec le pôle de
l’**Université Paris-Saclay** et d’autre part avec le pôle de l’**Institut Polytechnique de Paris**.
Afin de construire une politique de site ambitieuse, le centre Inria de Saclay a signé en 2021
des accords stratégiques avec ces deux partenaires territoriaux privilégiés.

Le centre compte **39 équipes-projets**, dont 27 sont communes avec l’Université Paris-Saclay
ou l’Institut Polytechnique de Paris. Son action mobilise plus de 600 personnes ,
scientifiques et personnels d’appui à la recherche et à l’innovation, issues de 54 nationalités.

Le centre Inria Saclay - Île-de-France est un acteur essentiel de la recherche en sciences du
numérique sur le plateau de Saclay. Il porte les valeurs et les projets qui font l’originalité
d’Inria dans le paysage de la recherche : l’excellence scientifique, le transfert technologique,
les partenariats pluridisciplinaires avec des établissements aux compétences complémentaires
aux nôtres, afin de maximiser l’impact scientifique, économique et sociétal d’Inria.

**Contexte et atouts du poste**:
Le travail serait réalisé en collaboration entre deux personnes/lieux: co-encadrement entre Gabriel Scherer (INRIA Saclay) et Paolo Pistone (ENS Lyon). Dans ce cadre, des visites des deux endroits sont attendues et seront financées, ainsi que des missions scientifiques usuelles.

Il est financé par l'ANR JCJC REPRO de Gabriel Scherer.

**Mission confiée**:
L'étudiant-e en thèse va développer sa propre contribuer scientifique dans le domaine du sujet proposé.

(Il y aura des possibilités d'enseigner si c'est souhaité.)

Collaboration: Gabriel Scherer, Paolo Pistone.

Responsabilités: au début l'étudiant-e est dans une phase de découverte avec des responsabilités plus limitées: réflexions sur le sujet proposé par les direct-eur-rice-s. Ensuite l'étudiant-e développe son autonomie, jusqu'à prendre un rôle déterminant dans la présentation de ses travaux à la communauté scientifique (présentations en ateliers, articles de conférences, etc.).

**Principales activités**:
Activités principales:

- lire des articles de recherche pour comprendre l'état des connaissances scientifiques sur le sujet
- étudier le problème proposé et développer des solutions et de nouvelles directions de recherche
- évaluer et présenter les contributions dans la forme attendue par la communauté scientifique

**Compétences**:
Le sujet de recherche demande une familiarité avec les mathématiques et le raisonnement logique.

La connaissance du lambda-calcul et de sujets liés est un plus.

Le travail bénéficierait d'expérimentations logicielles (procédures de recherche, systèmes de preuve, etc.; pour faire tourner de petits exemples et construire son intuition), pour laquelle des compétences en programmation seraient un plus.

Présenter sa recherche demande à la fois des compétences à l'écrit et à l'oral, qui devront progresser pendant la thèse. Un usage raisonnable de l'anglais est un plus, c'est le langage courant de communication de nos travaux.

**Avantages**:

- Restauration subventionnée
- Transports publics remboursés partiellement
- Aménagement du temps de travail
- Télétravail possible 1 jour par semaine après 6 mois d'ancienneté

**Rémunération**:

- 1ere and 2ème année : 2082€ brut/mois
- 3ème année : 2190€ brut/mois