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