[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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@i <mailto:[email protected]>nria.fr
<https://urldefense.com/v3/__http://nria.fr__;!!IBzWLUs!CFfoJxiQN-mBYD9r0KyrFuURJ--mYnmJdzr_b98660WGXGWtA56juZ1qQAuGk-Sw_lqbPYPCmQ9QRA$ >) and
Ugo Dal Lago ([email protected])
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.
