Logic List Mailing Archive

PhD student position in reasoning methods for quantitative systems, Leiden (The Netherlands), Deadline: 26 Apr 2020

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.basold@liacs.leidenuniv.nl>.

Please forward this announcement to whomever you see fit. Thank you!

Kind regards,
Henning
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam