** Apologies if you have received multile 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://vineetrajani.github.io/) and Dominic Orchard (https://dorchard.github.io/). 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 (v.raj...@kent.ac.uk). Cheers, Vineet Rajani _______________________________________________ hol-info mailing list hol-info@lists.sourceforge.net https://lists.sourceforge.net/lists/listinfo/hol-info
