[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
** Apologies if you have received multiple copies **
Hi all,
I have a fully funded postdoc position to work on the type-theoretic
verification of probabilistic programs.
The project will involve working with graded modal types, reasoning about
quantitative properties of higher-order probabilistic programs, building
logical relations/categorical models, mechanisation using an interactive
theorem prover and showing applications to theoretical machine learning.
The selected candidate will join the PLAS group at the University of Kent and
will directly work with Vineet Rajani
(https://urldefense.com/v3/__https://vineetrajani.github.io/__;!!IBzWLUs!XUH7RjKTQb8BO_mAgsGuI2b4mSZi5xhSwy3JCyPo0NJfAZ5s4lqEas2MVEWJguJacvvZ52qiR4aNeJr8LC_2wndjsiTnCI45f8TnTl1m$
) and Dominic Orchard
(https://urldefense.com/v3/__https://dorchard.github.io/__;!!IBzWLUs!XUH7RjKTQb8BO_mAgsGuI2b4mSZi5xhSwy3JCyPo0NJfAZ5s4lqEas2MVEWJguJacvvZ52qiR4aNeJr8LC_2wndjsiTnCI45fxykKaW_$
).
I would like to fill this position ASAP, with expected start in early/mid
October 2024. Please do not hesitate to get in touch for any formal or informal
queries. If you are interested in this position, please send an email with your
CV (containing list of publications) to Vineet Rajani ([email protected]).
Cheers,
Vineet Rajani
