ANR PRC project Probabilistic Programming Semantics (PPS)

Post-doctoral positions

The ANR PRC Probabilistic Programming Semantics (PPS) project has three one year post-doc positions available on the different sites of the project (Paris, Bologna, Marseille). All young researchers with a PhD, working on topics related to those of the project, are welcome to apply. Please contact us by email to

Thomas Ehrhard and Michele Pagani

with a cv and a research project. Expertise and projects including one of our opening topics (Bayesian inference, statistical learning) will be particularly welcome.

12 month postdoc positions in Paris and Marseille

The ANR Research Project PPS (Probabilistic Programming Semantics, ANR-19-CE48-0014) described here offers two 12 month postdoc positions for the next academic year:

Our goal is to develop formal methods for probabilistic computing (semantics, type systems, logical frameworks for program verification, abstract machines ,etc.), building on the many connections between Proof Theory, Linear Algebra and the Theory of Programming Languages which arise within Linear Logic.

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 this topic.

Interested persons should contact as soon as possible

briefly outlining their academic background and research interest and indicating if they have a preference as to the location (I2M or IRIF).

As a second step, a complete application consisting of

  • a cover letter
  • a detailed CV including a list of publications and a summary of research
  • contact informations for two or three academic references

is expected to be sent by email to Thomas Ehrhard, Michele Pagani and Lionel Vaux.

The review of applications will begin on March 1st and continue until the position is filled. The positions are expected to start on October 1st 2021 at the latest.