2022-05060 - Post-Doctoral Research Visit F/M Semantics and verification of probabilistic programs
Le descriptif de l’offre ci-dessous est en Anglais

Type de contrat : CDD

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

Fonction : Post-Doctorant

A propos du centre ou de la direction fonctionnelle

The Inria Sophia Antipolis - Méditerranée center counts 34 research teams as well as 7 support departments. The center's staff (about 500 people including 320 Inria employees) is made up of scientists of different nationalities (250 foreigners of 50 nationalities), engineers, technicians and administrative staff. 1/3 of the staff are civil servants, the others are contractual agents. The majority of the center’s research teams are located in Sophia Antipolis and Nice in the Alpes-Maritimes. Four teams are based in Montpellier and two teams are hosted in Bologna in Italy and Athens. The Center is a founding member of Université Côte d'Azur and partner of the I-site MUSE supported by the University of Montpellier.

Contexte et atouts du poste

This one-year Post-Doc is funded by the ANR Project PPS (Probabilistic Programming Semantics, ANR-19-CE48-0014, see
https://www.irif.fr/anrpps). Travel expenses are covered within the limits of the scale in force.


Mission confiée

Our goal is to develop the semantics (e.g. coherent semantics, rewriting) and verification tools (e.g. type systems, logical frameworks) for probabilistic higher-order languages, building on the many connections between proof theory, linear algebra, rewriting, and programming language theory.

Principales activités

The main activity will be the development of new techniques for the analysis, noteworthy the resource consumption, of probabilistic programs.


Acquaintance with probabilistic programming languages, their mathematical semantics and/or their implementation, is welcome but not mandatory, although we expect the applicant to be excited to work on these topics.



  • 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: 2653 € per month