Teaching PhD Position in Quantitative Systems and Reasoning Methods at Leiden University, the Netherlands

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.