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 goal of the Serums project is to put patients at the centre of future healthcare provision, enhancing their personal care, and maximizing the quality of treatment that they can receive, while ensuring trust in the security and privacy of their confidential medical data. Serums aims to: develop new techniques that will allow the delivery of a new form of smart, patient-centric health-care through a holistic approach that integrates home, workplace etc. personal medical care with centralised hospital, specialist consultant and general practitioner provision; establish trust in the correct operation of such a patient-centric smart healthcare system, by devel- oping new mechanisms and techniques that will allow confidential personal medical data to be safely, securely and anonymously shared between healthcare providers, Smart Health Centres, patients, family, personal health monitoring and alarm systems etc, without leaking private information to any unauthorised agents; ensure that the patient has full control over their personal data, in accordance with the provisions of the GDPR and other regulatory frameworks, while allowing rapid exchange of information to support e.g. transnational/cross-border healthcare provision, as required to meet patient needs; demonstrate the effectiveness and generality of Serums’ results by considering multiple disparate use cases, under different national regulatory frameworks, and to ensure the maximum possible long-term exploitation of these results in future Smart healthcare Provision.
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.
The University of St Andrews is committed to promoting equality of opportunity for all, which is further demonstrated through its working on the Gender and Race Equality Charters and being awarded the Athena SWAN award for women in science, HR Excellence in Research Award and the LGBT Charter; http://www.st-andrews.ac.uk/hr/edi/diversityawards/. The School’s commitment to advancing gender equality has been recognised by an Athena SWAN Bronze Award.
Please quote ref: AR2168SB
Closing Date: 31 January 2019
Further Particulars: AR2168SB FPs.doc
School of Computer Science
Salary: £33,199 - £39,609 per annum*
Start: Negotiable
Fixed term for 3 years
Research Fellow - AR2168SB
Research Fellow - AR2168SB