We seek lectureship applications from researchers who have a strong research background and excellent publication record in any area of functional programming, complementing and enhancing the existing research team, which has a strong focus on parallel programming models and implementation, resource-aware functional programming, dependent type systems, refactoring, static analysis, and performance modelling, and deep connections with the Haskell community.  The candidate should be able to form links with and work collaboratively with other research groups in the school, and contribute to teaching and course design across functional programming and theoretical computer science, especially logic and semantics.
 
You should have a PhD and have an outstanding research record as demonstrated by publications and research funding. You must be willing to cooperate with other researchers across Scotland and to teach in any area of computer science.
 
A period of postdoctoral experience and publications that reflect your experience is essential. Teaching is important to us and we expect candidates to be committed teachers, with appropriate experience. We have a growing portfolio of Masters level courses and welcome those who have an interest in contributing to their development.

Candidates interested in this post are welcome to informally contact the Head of School (Alan Dearle) to discuss possible options.

For further information about the School of Computer Science: http://www.cs.st-andrews.ac.uk

For informal discussion on the posts, please contact hos-cs@st-andrews.ac.uk

Ref No:  SK4488

Closing Date:  6 July 2012

Further Particulars:  SK4488AD FPs.doc

School of Computer Science
£37,012 - £45,486 per annum
Start:  1 September 2012 or as soon as possible thereafter