<div dir="ltr"><div><br></div><div><span id="docs-internal-guid-7c3192d2-1e9e-d7d4-b483-a0e67ef37ab6"><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">One PhD position is available at the University of Dundee, Scotland.</span></p>

<br><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Contact</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt">

<span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">———————————</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Katya Komendantskaya - </span><span style="font-size:13px;font-family:Arial;color:rgb(17,85,204);vertical-align:baseline;white-space:pre-wrap"><a href="mailto:katya@computing.dundee.ac.uk">katya@computing.dundee.ac.uk</a></span></p>

<br><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Profile</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt">

<span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">———————————</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The subject of the studentship is programming language semantics and implementation. The specific topic for the studentship will depend on the interests and expertise of the potential candidate. Possible topics are: computational logic, interactive or automated theorem proving, verification, type systems, type inference, logics and applications, program analysis tools.</span></p>

<br><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Conditions</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt">

<span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">———————————</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The studentship covers 3 years with a standard stipend of about £13-14k a year plus some eligible travel and consumables.</span></p>

<br><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Requirements</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt">

<span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">———————————</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The ideal candidate must show a solid Mathematical or Computer Science background and interest in theoretical and/or practical aspects of declarative programming languages.</span></p>

<p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Previous experience in one or more of the areas described in the profile will be considered a plus.</span></p>

<br><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">How to apply</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt">

<span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">———————————</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The position is available immediately. Candidates please contact  Katya Komendantskaya - </span><span style="font-size:13px;font-family:Arial;color:rgb(17,85,204);vertical-align:baseline;white-space:pre-wrap"><a href="mailto:katya@computing.dundee.ac.uk">katya@computing.dundee.ac.uk</a></span></p>

<br><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Dundee and the university</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt">

<span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">———————————</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">Dundee is the fourth-largest city in Scotland and it is well connected with Edinburgh, Glasgow and Aberdeen. Dundee is promoted as &#39;One City, Many Discoveries&#39; in honor of Dundee&#39;s history of scientific activities and of the RRS Discovery exploration vessel, which is berthed in the city harbor. Biomedical, technological and video game industries have been important for the development of the city in the last 20 years.</span></p>

<p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The University of Dundee counts about 18.000 students and is situated in the city center. The university is ranked in the World&#39;s Top 250 Universities and has been voted one of the best universities in the UK for student experience.</span></p>

<p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><a href="http://en.wikipedia.org/wiki/Dundee" style="text-decoration:none"><span style="font-size:13px;font-family:Arial;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://en.wikipedia.org/wiki/Dundee</span></a></p>

<p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><a href="http://www.dundee.ac.uk/" style="text-decoration:none"><span style="font-size:13px;font-family:Arial;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://www.dundee.ac.uk</span></a></p>

<br><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt"><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The Theory of Computation group</span></p><p dir="ltr" style="line-height:1.15;margin-top:0pt;margin-bottom:0pt">

<span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">———————————</span></p><span style="font-size:13px;font-family:Arial;vertical-align:baseline;white-space:pre-wrap">The Theory of Computation group focuses on research into different areas covering functional programming, program analysis, computational logic, theorem proving, machine learning, constraint programming, graph theory, algorithms and applications like privacy, security, complexity, optimisation, and artificial intelligence.</span></span><br>

</div><div><br></div><div><br></div><div><br></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>