• Bayncore / Bayncore Labs

University of St Andrews - Job Position Post Doctoral Research

Updated: Dec 28, 2018

University of St Andrews is proposition a Post Doc Research new position

The Functional Programming Group seeks a Post Doctoral Research Fellow to work on the recent funded 3-year EU Horizon 2020 Serums project, and the ongoing EU Horizon 2020 TeamPlay project (https://www.teamplay-h2020.eu). The TeamPlay project aims to develop new, formally-motivated, techniques that will allow execution time, energy usage, security, and other important non-functional properties of parallel software to be treated effectively, and as first-class citizens. We will build this into a toolbox for developing highly parallel software for low-energy systems, as required by the internet of things, cyber-physical systems etc.

The TeamPlay approach will allow programs to reflect directly on their own time, energy consumption, security, etc., as well as enabling the developer to reason about both the functional and the non-functional properties of their software at the source code level.

The post will require skills in the development and application of lightweight formal methods to non-functional properties, including time, energy and/or security.

Informal enquiries can be directed to Professor Kevin Hammond (kevin@kevinhamond.net). 

The role may be offered on either a full-time or part-time basis, and flexible working may be available to suit the right candidate(s).  More than one appointment may be made, with a suitable division of responsibilities.*Appointment at grade 7 (salary £40,792 - £50,132 per annum) will be considered for candidate with enhanced skills/knowledge of the area with the job description to be amended accordingly. 

Applications are particularly welcome from women and other groups who are under-represented in Computer Science posts at the University. Please contact Kevin Hammond (kevin@kevinhammond.net) if you would like to discuss the position. Deadline for applications is 11/1/19.  https://www.vacancies.st-andrews.ac.uk/Vacancies/W/5134/0/212163/889/research-fellow-ar2168sb