<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<div class="">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:</div>
<div class=""> </div>
<div class=""><a href="https://urldefense.com/v3/__https://www.inria.fr/en/centre-inria-sophia-antipolis-mediterranee__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYM80syyDA$" class="">https://www.inria.fr/en/centre-inria-sophia-antipolis-mediterranee</a></div>
<div class=""><br class="">
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.</div>
<div class=""><br class="">
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.<br class="">
<br class="">
Anyone interested should contact as soon as possible<br class="">
<br class="">
</div>
<div class="">Martin Avanzini (martin.avanzini<a
href="mailto:ehrhard@irif.fr" class="">@i</a><a href="https://urldefense.com/v3/__http://nria.fr__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYPCmQ9QRA$" class="">nria.fr</a>) and<br class="">
Ugo Dal Lago (<a class="moz-txt-link-abbreviated"
href="mailto:ugo.dallago@unibo.it">ugo.dallago@unibo.it</a>)<br
class="">
<br class="">
</div>
<div class="">briefly outlining their academic background and
research interests.</div>
<div class=""><br class="">
</div>
<div class="">More details about the project are available here:<br
class="">
<br class="">
<a href="https://urldefense.com/v3/__https://www.irif.fr/anrpps__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYNXvtmbug$" class="">https://www.irif.fr/anrpps</a><br
class="">
<br class="">
As a second step, a complete application consisting of<br class="">
+ a cover letter;<br class="">
+ a detailed CV including a list of publications and a summary of
research;<br class="">
+ contact information for two or three academic references;<br
class="">
is expected to be sent by email to Martin Avanzini and Ugo Dal
Lago<br class="">
<br class="">
The review of applications will begin on October 15th and continue
until the position is filled.</div>
</body>
</html>