2019-01359 - Post-Doctoral Research Visit F/M On the equivalence of higher-order probabilistic programs

Contract type : Public service fixed-term contract

Level of qualifications required : PhD or equivalent

Fonction : Post-Doctoral Research Visit

Level of experience : Up to 3 years

About the research centre or Inria department

Inria is a national research institute dedicated to digital sciences that promotes scientific excellence and transfer.
Inria employs 2,400 collaborators organised in research project teams, usually in collaboration with its academic partners.
This agility allows its scientists, from the best universities in the world, to meet the challenges of computer science and mathematics, either through multidisciplinarity or with industrial partners.
A precursor to the creation of Deep Tech companies, Inria has also supported the creation of more than 150 start-ups from its research teams.
Inria effectively faces the challenges of the digital transformation of science, society and the economy.


Assignments :
With the help of Ugo Dal Lago, the recruited person will be taken to study the properties of observational equivalence in a probabilistic scenario, with applications to cryptography

For a better knowledge of the proposed research subject :
[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.


Main activities

Main activities (5 maximum) :

  • Study the literature on higher-order probabilistic programming
  • Analyse the properties of observational equivalence.
  • Give some alternative definitions in in the case of bounded time calculi
  • Supervise a seminar.


Benefits package

  • Subsidized meals
  • Partial reimbursement of public transport costs
  • Leave: 7 weeks of annual leave + 10 extra days off due to RTT (statutory reduction in working hours) + possibility of exceptional leave (sick children, moving home, etc.)
  • Possibility of teleworking (after 6 months of employment) and flexible organization of working hours
  • Professional equipment available (videoconferencing, loan of computer equipment, etc.)
  • Social, cultural and sports events and activities
  • Access to vocational training
  • Social security coverage


Gross Salary: 2650 brutto per month