[Agda] Fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving, University of Dundee, Scotland

[Ekaterina Komendantskaya]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140818/ea8d704f/attachment.html