Skip to Content.
Sympa Menu

coq-club - [Coq-Club] Fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving, University of Dundee, Scotland

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:
https://docs.google.com/document/d/10Cnlws_XPKrimo9m_CKPSXUZFCkP8FhBfD9a9xAt2AY/edit?usp=sharing

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.

Top of Page