Dependable System group, School of Mathematical and Computer Sciences, 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). 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 (http://www.macs.hw.ac.uk/~ek19/). 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. To apply please contact Ekaterina directly: ek19@hw.ac.uk Heriot-Watt University. 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 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. Dependable Systems group. 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. ******************************* Dr Ekaterina Komendantskaya Associate Professor in Computer Science School of Mathematical and Computer Sciences Earl Mountbatten Building [ building 21, office G26 ] Heriot-Watt University Edinburgh, UK, EH14 4AS +44 (0)131 451 8283 http://www.macs.hw.ac.uk/~ek19/