2019-01359 - Post-Doctorant(e) F/H Sur l'équivalence des programmes probabilistes d'ordre supérieur

Type de contrat : CDD de la fonction publique

Niveau de diplôme exigé : Thèse ou équivalent

Fonction : Post-Doctorant

Niveau d'expérience souhaité : Jusqu'à 3 ans

A propos du centre ou de la direction fonctionnelle

Inria est un institut national de recherche dédié au numérique qui promeut l'excellence scientifique et le transfert.

Inria emploie 2400 collaborateurs et collaboratrices avec une organisation en équipes-projets de recherche, en général communes avec ses partenaires académiques. 

Cette agilité permet à ses scientifiques, issus des meilleures universités mondiales, de relever les défis des sciences informatiques et mathématiques, que ce soit à travers la pluridisciplinarité ou avec des partenaires industriels. 

Précurseur de la création d’entreprises Deep Tech, Inria a aussi accompagné la création de plus de 150 start-up issues de ses équipes de recherche.

Inria répond ainsi efficacement aux enjeux de la transformation numérique de la science, de la société et de l’économie.

Mission confiée

Missions :
Avec l'aide de Ugo Dal Lago, la personne recrutée sera amenée à étudier les proprietés de l'equivalence observationelle dans un cadre proba, avec des applications en crypto.

Pour une meilleure connaissance du sujet de recherche proposé :
[1] Ugo Dal Lago, Margherita Zorzi. Probabilistic operational semantics for the lambda calculus. RAIRO - Theor. Inf. and Applic. 46(3): 413-450 (2012). [2] Thomas Ehrhard, Michele Pagani, Christine Tasson:
Full Abstraction for Probabilistic PCF. J. ACM 65(4): 23:1-23:44 (2018). [3] Alberto Cappai, Ugo Dal Lago:
On Equivalences, Metrics, and Polynomial Time. FCT 2015: 311-323.

 

Principales activités

Principales activés :

  • Étudiez la littérature sur la programmation probabiliste d'ordre supérieur.
  • Analyser les propriétés de l'équivalence observationnelle.
  • Donner des définitions alternatives dans le cas des calculs en temps bornés
  • Animer une seminaire.

 

 

Avantages

  • Restauration subventionnée
  • Transports publics remboursés partiellement
  • Congés: 7 semaines de congés annuels + 10 jours de RTT (base temps plein) + possibilité d'autorisations d'absence exceptionnelle (ex : enfants malades, déménagement)
  • Possibilité de télétravail (après 6 mois d'ancienneté) et aménagement du temps de travail
  • Équipements professionnels à disposition (visioconférence, prêts de matériels informatiques, etc.)
  • Prestations sociales, culturelles et sportives (Association de gestion des œuvres sociales d'Inria)
  • Accès à la formation professionnelle
  • Sécurité sociale

Rémunération

Salaire: 2650 € brut mensuel