Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Teaching PhD Position in Quantitative Systems and Reasoning Methods

coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Teaching PhD Position in Quantitative Systems and Reasoning Methods


Chronological Thread 
  • From: Henning Basold <h.basold AT liacs.leidenuniv.nl>
  • To: <coq-club AT inria.fr>
  • Subject: [Coq-Club] Teaching PhD Position in Quantitative Systems and Reasoning Methods
  • Date: Wed, 1 Apr 2020 14:51:35 +0200
  • Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=h.basold AT liacs.leidenuniv.nl; spf=Pass smtp.mailfrom=h.basold AT liacs.leidenuniv.nl; spf=None smtp.helo=postmaster AT out66-ams.mf.surf.net
  • Ironport-phdr: 9a23:vkn+QBGH/0E8+Y2Dlh5kE51GYnF86YWxBRYc798ds5kLTJ7zocmwAkXT6L1XgUPTWs2DsrQY0reQ6/qrBDFIoc7Y9ixbLNoUD15NoP5VtjJjKfbNMVf8Iv/uYn5yN+V5f3ghwUuGN1NIEt31fVzYry76xzcTHhLiKVg9fbytScbdgMutyu+95YDYbRlWizqhe7NyKwi9oRnMusUMjoZuN6Y8xgHVrndWdOhbxWNlLk+Xkxrg+8u85pFu/zlftv4768JMTaD2dLkkQLJFCzgrL2866Mr3uBfZUACB/GEcUmIYkhpJBwjK8hT3VYrvvyX5q+RwxjCUMdX5Qr4oVzui6bxrSALzhyccKzE56mDXhddug69dvRmsugZww4/QYIGSKfp+YqbQds4USGZdQspcUTFKD4WhZIUNEuUBJ/5VoYngqVUQrhWwCwejC+zzxT9JnXL22LE23v47HA3a0gEtHdQDu2nUotXvM6cSVPi4wqvWwjXFafNW2DH96IfVeR08u/6MRrVwcc7MxkIyEA7Fjk+cppf/MDOO0eQNt3WU4vFkVeKukWEotxpxriKrxsgyi4nGm5waylbZ9SV/wYY1O8e0SEh/YdO9FpZbqi+UN4xzQsw4QmFovj43yqAAuZ66YigF1o4nxwXea/ybbYeI4w7jVOKPLjd5mX1qZrS/iwy08UikzOD3S8q60E5SoyZYndTBtmoB2wDJ5sSaUPdw/0as1S6M2g3d8O1IPEE5mbbBJ5MhwrM8jJgevEfFEyTrgkv5lrWWeV8h+uWw6+TofLHmppiEOo9zlwH+LqUjl82mDesiNwgORHKX+eGy1LH55k35Xa9KjvMsnqnfrp/aOdwXpq+/AwBLzoYu8wuzAjim3dgCgXULNk9JdAiGgoXoI13OJer3Dfa7g1SiijdrwPXGM6XhApnXNXfMiqzhfbF560FB0wczydFf6IhIBbEaOv7zXlH+tN3FARAnNQy03uDnCNRj1o8EX2KPBreVMLnOvl+Q+uIvP+6MaZcJtzb6Mvgp/uLhjXskmVAGZqSpxpsWaHWgHvt8OUmZYHzsgs0AEWgQpAY+Qvbq2xW+VmsHbHGrGqk4+zsTCYS8DI6FSJr705Kb2yLuPpBQYGFABRimGGzvc4nMD/dKYiuJJcttujgFXLO6DYss1B2jshL8yqQhKO6CqX5Qjo7qyNUgv76brho17zEhV53MgVHIdHl9myYzfxFz2al+pUJnzVLZiPp8gvVTDppX6vJFXwEnM5/Ciep+WYmrBlDxO+yRQVPjee2IRCkrR4hokdsPak1mXdGvjxzO2TesAqFTkbjZXMVpoJKZ5GD4IoNG81iD1KQliAN9EMxSKTP4w6d67E7WCcjSjl+X0aCnafZE0Q==

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

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

Kind regards,
Henning

Attachment: pEpkey.asc
Description: application/pgp-keys



  • [Coq-Club] Teaching PhD Position in Quantitative Systems and Reasoning Methods, Henning Basold, 04/01/2020

Archive powered by MHonArc 2.6.18.

Top of Page