Universiteit van Amsterdam

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.

Please note that this newsitem has been archived, and may contain outdated information or links.