coq-club AT inria.fr
Subject: The Coq mailing list
List archive
[Coq-Club] Fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving, University of Dundee, Scotland
Chronological Thread
- From: Ekaterina Komendantskaya <komendantskaya AT gmail.com>
- To: Katya Komendantskaya <komendantskaya AT gmail.com>
- Subject: [Coq-Club] Fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving, University of Dundee, Scotland
- Date: Mon, 18 Aug 2014 09:45:46 +0100
One fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving
is available at the University of Dundee, Scotland.
For more information, please email katya AT computing.dundee.ac.uk or refer to:
The funding is provided by EPSRC Doctoral Training Partnership Scheme, and is available for UK residents only.
Katya
Ekaterina Komendantskaya
Senior Lecturer, Head of PhD Studies
Room 1.04, Queen Mother Building
School of Computing, University of Dundee
Scotland, DD14HN
Tel: (+44) 01382384820
- [Coq-Club] Fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving, University of Dundee, Scotland, Ekaterina Komendantskaya, 08/18/2014
Archive powered by MHonArc 2.6.18.