<div dir="ltr"><div><span id="gmail-docs-internal-guid-327ade39-3717-2090-b52d-5b696dcb2cc2"><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;vertical-align:baseline;white-space:pre-wrap">Dependable System group, </span><span style="background-color:transparent;color:rgb(0,0,0);font-family:arial;font-size:11pt;white-space:pre-wrap">School of Mathematical and Computer Sciences, </span><span style="background-color:transparent;color:rgb(0,0,0);font-family:arial;font-size:11pt;white-space:pre-wrap"> Heriot-Watt University, Edinburgh, is looking to fill in one PhD position (a PhD stipend of £14,300 per annum, for 48 months, and a fee waiver are offered, no nationality restrictions apply).</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;vertical-align:baseline;white-space:pre-wrap">We are looking for a talented person, with 1st class degree in Mathematics or Computer Science, with keen interest in Logic and Programming languages and good programming skills. The successful candidate will be working under supervision of Dr Ekaterina Komendantskaya (</span><a href="http://www.macs.hw.ac.uk/~ek19/" style="text-decoration:none"><span style="font-size:11pt;font-family:arial;background-color:transparent;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">http://www.macs.hw.ac.uk/~ek19</span></a><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;vertical-align:baseline;white-space:pre-wrap">/). The exact topic of the PhD dissertation will be determined in the course of discussions with the successful candidate, and will be related to both the student’s and the  supervisor's research interests.</span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;vertical-align:baseline;white-space:pre-wrap">To apply please contact Ekaterina directly: <a href="mailto:ek19@hw.ac.uk">ek19@hw.ac.uk</a></span></p><br><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;font-weight:700;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">Heriot-Watt University.</span></p><p dir="ltr" style="line-height:1.38;margin-top:0pt;margin-bottom:0pt"><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;font-weight:400;font-style:normal;font-variant-ligatures:normal;font-variant-caps:normal;text-decoration:none;vertical-align:baseline;white-space:pre-wrap">With a history dating back to 1821, Heriot-Watt University is a research-led university located in Edinburgh, UK. Currently it is Scotland’s most international university, delivering degree programmes to 31,000 students globally and with campuses in Edinburgh, Scottish Borders, Orkney, Dubai and Malaysia. The university is consistently highly ranked, having been The </span><span style="background-color:transparent;color:rgb(0,0,0);font-family:arial;font-size:11pt;white-space:pre-wrap">Sunday Times; Scottish University of Year between 2011 and 2013. The university has a strong track record in attracting funding for research from national Research Councils, UK government departments, charities, the European Commission and industrial sponsors. In the REF 2014 survey of all UK universities, 82% of our research was found to be world-class. </span></p><br><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;font-weight:700;text-decoration:underline;vertical-align:baseline;white-space:pre-wrap">Dependable Systems group.</span><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;vertical-align:baseline;white-space:pre-wrap"> </span></span></div><div><span><span style="font-size:11pt;font-family:arial;color:rgb(0,0,0);background-color:transparent;vertical-align:baseline;white-space:pre-wrap">The Computer Science department, hosting this PhD position, had 78% of its outputs rated `world-leading' or `internationally excellent' in REF 2014.The proposed work will be carried out within the Dependable Systems Group (DSG). With members of staff working on programming languages and compilers (Fensch, Loidl, Michaelson, Scholz), Automated Reasoning and Formal Methods (Georgieva, Grov, Ireland, Komendantskaya), Type Theory (Gabbay), this group will provide an ideal environment for the PhD  research. Additionally, the DSG is an active member of the multi-site Mathematical Reasoning Group (joint with U. Edinburgh); the sites holding weekly research meetings and a joint platform grant.</span></span><br></div><div><br></div><div><br></div><div>*******************************</div><br clear="all"><div><div class="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><div dir="ltr"><div dir="ltr"><span style="background-color:rgb(255,255,255)"><font color="#000000" face="comic sans ms, sans-serif" size="2">Dr Ekaterina Komendantskaya                 </font></span><div><div><span style="background-color:rgb(255,255,255)"><font color="#000000" face="comic sans ms, sans-serif" size="2">Associate Professor in Computer Science                                   </font></span></div><div><span style="background-color:rgb(255,255,255)"><font color="#000000" face="comic sans ms, sans-serif" size="2">School of Mathematical and Computer Sciences</font></span></div><div><span style="background-color:rgb(255,255,255)"><font color="#000000" face="comic sans ms, sans-serif" size="2">Earl Mountbatten Building  [ building 21, office G26 ] </font></span></div><div><span style="background-color:rgb(255,255,255)"><font color="#000000" face="comic sans ms, sans-serif" size="2">Heriot-Watt University  </font></span></div><div><span style="background-color:rgb(255,255,255)"><font color="#000000" face="comic sans ms, sans-serif" size="2">Edinburgh, UK, EH14 4AS<br></font></span></div><div><span style="background-color:rgb(255,255,255)"><font color="#000000" face="comic sans ms, sans-serif" size="2">+44 (0)131 451 8283 <br></font></span></div><div><font color="#000000" face="comic sans ms, sans-serif" size="2"><span style="background-color:rgb(255,255,255)"><a href="http://www.macs.hw.ac.uk/~ek19/" target="_blank">http://www.macs.hw.ac.uk/~ek19/</a></span></font><br></div><div><span style="color:rgb(0,112,192);font-family:calibri,sans-serif;font-size:13.3333px"><br></span></div><div><span style="font-size:12.8px">                                                                                      </span><br></div><div><br></div><div><br></div><div><br></div></div></div></div></div></div></div></div></div></div></div></div></div></div>
</div>