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@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