Please note that this newsitem has been archived, and may contain outdated information or links.
Teaching PhD Position in Quantitative Systems and Reasoning Methods at Leiden University, the Netherlands
Deadline: Sunday 26 April 2020
There is 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.
For more information, see
https://www.universiteitleiden.nl/en/vacancies/2020/q1/20-150-teaching-phd-position-in-quantitative-systems-and-reasoning-methods
or contact Henning Basold at h.basold at liacs.leidenuniv.nl.
Please note that this newsitem has been archived, and may contain outdated information or links.