Applications are invited for a Research Fellow to work with Dr Edwin Brady in the School of Computer Science at the University of St Andrews on an EPSRC funded project "Programming as Conversation: Type-Driven Development in Action".

The project aims to investigate the extent to which precise type systems enhance programmer productivity, by developing languages and tools to support the methodology of type-driven development.  It will build on recent work developing a new version of the dependently typed programming language Idris (https://www.idris-lang.org) and will involve defining a semantics for program construction and manipulation as a typed domain specific language for implementing editor actions. These actions will include refactorings, and synthesising programs from their types.

The successful candidate will have (or be about to obtain) a PhD in Computer Science or a related subject. A strong background in functional programming, dependent types or other advanced type systems is required. The appointee will be expected to present their work both internally and externally and will be expected to help with supervision and training of postgraduate and undergraduate research students.

Funded by EPSRC (Engineering and Physical Sciences Research Council), this post is available for three years, with a start date as soon as possible.

For informal enquiries, please contact: Dr Edwin Brady, School of Computer Science, ecb10@st-andrews.ac.uk.

The University is committed to equality for all, demonstrated through our working on diversity awards (ECU Athena SWAN/Race Charters; Carer Positive; LGBT Charter; and Stonewall).  More details can be found at http://www.st-andrews.ac.uk/hr/edi/diversityawards/.

Please quote ref:  AR2286SB

Closing Date:  26 November 2019

Further Particulars:  AR2286SB FPs.doc 

School of Computer Science
Salary: £33,797 per annum
Start:  As soon as possible
Fixed term for 3 years