[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]I have a fully funded PhD position at the Leiden University available with a rather free choice of approaching reasoning methods for quantitative systems. The approach can be purely in terms of category theory, type theory, formal logic, or a combination of those. Please note that the application deadline is 26 April 2020, but applications are accepted until the position is filled. More information about the research project and the details of the position can be found here: https://www.universiteitleiden.nl/en/vacancies/2020/q1/20-150-teaching-phd-position-in-quantitative-systems-and-reasoning-methods For further questions, please contact Henning Basold <h.bas...@liacs.leidenuniv.nl>. Please forward this announcement to whomever you see fit. Thank you! Kind regards, Henning
pEpkey.asc
Description: application/pgp-keys
