[Agda] Fully funded PhD position in CS at Heriot-Watt University, Edinburgh, Scotland

[Ekaterina Komendantskaya]

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 at 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/
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20170213/77c3a92e/attachment-0001.html>