CAUTION: The Sender of this email is not from within Dalhousie. 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-p... For further questions, please contact Henning Basold <h.basold@liacs.leidenuniv.nl>. Please forward this announcement to whomever you see fit. Thank you! Kind regards, Henning [For admin and other information see: http://www.mta.ca/~cat-dist/ ]