<div dir="ltr"><div>Hello,</div><div><br></div><div>School of Sciences and Engineering, University of Dundee,</div><div>advertises two PhD studentships in the area of Computer Science. </div><div><br></div><div>Applicants  interested in Programming languages, Logic and Automated/Interactive theorem proving are encouraged.</div><div><br></div><div>Further details are available here:</div><div><br></div><div><a href="https://docs.google.com/document/d/1ggi4S2DBS1IqB3fqyFBkKbrArYJRUiOybIfW7VdkG1w/edit?usp=sharing">https://docs.google.com/document/d/1ggi4S2DBS1IqB3fqyFBkKbrArYJRUiOybIfW7VdkG1w/edit?usp=sharing</a><br></div><div><br></div><div>Best regards,</div><div>Katya</div><div><br></div><div><br></div><br clear="all"><div><div class="gmail_signature">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>
</div>