[TYPES/announce] Post-Doc position at INRIA on semantics and verification of probabilistic programs

[Martin Avanzini]

The ANR Research Project PPS (Probabilistic Programming Semantics, 
ANR-19-CE48-0014) offers one 12 month postdoc position starting at the 
beginning of the 2022 solar year, at INRIA Sophia Antipolis:
https://urldefense.com/v3/__https://www.inria.fr/en/centre-inria-sophia-antipolis-mediterranee__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYM80syyDA$  
<https://urldefense.com/v3/__https://www.inria.fr/en/centre-inria-sophia-antipolis-mediterranee__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYM80syyDA$ >

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.

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.

Anyone interested should contact as soon as possible

Martin Avanzini (martin.avanzini at i <mailto:ehrhard at irif.fr>nria.fr 
<https://urldefense.com/v3/__http://nria.fr__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYPCmQ9QRA$ >) and
Ugo Dal Lago (ugo.dallago at unibo.it)

briefly outlining their academic background and research interests.

More details about the project are available here:

https://urldefense.com/v3/__https://www.irif.fr/anrpps__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYNXvtmbug$  <https://urldefense.com/v3/__https://www.irif.fr/anrpps__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYNXvtmbug$ >

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 information for two or three academic references;
is expected to be sent by email to Martin Avanzini and Ugo Dal Lago

The review of applications will begin on October 15th and continue until 
the position is filled.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20210927/d0e78470/attachment-0001.htm>