* Teaching PhD Position in Quantitative Systems and Reasoning Methods
@ 2020-03-31 12:09 Henning Basold
0 siblings, 0 replies; only message in thread
From: Henning Basold @ 2020-03-31 12:09 UTC (permalink / raw)
To: categories
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
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-03-31 12:09 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-03-31 12:09 Teaching PhD Position in Quantitative Systems and Reasoning Methods Henning Basold
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).