<div dir="ltr"><div>One fully funded PhD position on Computational Logic/Functional Programming/Interactive Theorem Proving</div><div>is available at the University of Dundee, Scotland.</div><div><br></div><div>For more information, please email <a href="mailto:katya@computing.dundee.ac.uk">katya@computing.dundee.ac.uk</a> or refer to:</div>
<div><a href="https://docs.google.com/document/d/10Cnlws_XPKrimo9m_CKPSXUZFCkP8FhBfD9a9xAt2AY/edit?usp=sharing">https://docs.google.com/document/d/10Cnlws_XPKrimo9m_CKPSXUZFCkP8FhBfD9a9xAt2AY/edit?usp=sharing</a><br></div>
<div><br></div><div>The funding is provided by EPSRC Doctoral Training Partnership Scheme, and is available for UK residents only.</div><div><br></div><div>Katya</div><br clear="all"><div>Ekaterina Komendantskaya <div>
<div>Senior Lecturer, Head of PhD Studies </div><div>Room 1.04, Queen Mother Building </div><div>School of Computing, University of Dundee </div>
<div>Scotland, DD14HN </div><div>Tel: (+44) 01382384820 </div><div>
<br></div><div><br></div><div><br></div></div></div>
</div>