[Haskell-cafe] Fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving, University of Dundee, Scotland
komendantskaya at gmail.com
Mon Aug 18 08:45:46 UTC 2014
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
The funding is provided by EPSRC Doctoral Training Partnership Scheme, and
is available for UK residents only.
Senior Lecturer, Head of PhD Studies
Room 1.04, Queen Mother Building
School of Computing, University of Dundee
Tel: (+44) 01382384820
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Haskell-Cafe