Dear All
I have an opening for a postdoc to work on a new 3-year EPSRC project in the Programming Languages group at St Andrews. The deadline has been extended to the 26th February.
Send me an email (cmb21@st-andrews.ac.uk) if you’d like to informally chat about the post. I’m very happy to chat to you.
Thanks
Chris
Lecturer in Computer Science
University of St Andrews
Scotland
--------------------
The Programming Languages Group seeks a Research Fellow to work on the newly funded 3-year EPSRC project, Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems.
Embedded devices, such as mobile phones, drones, medical devices and even satellite imaging are now common place in society. These types
of devices rely very heavily on battery power, contributing to climate change and global warming. Optimizing the software that runs on such devices for energy is a very challenging problem for software developers. The Energise project aims to address this
issue by providing the developer with a refactoring tool to repurpose their software to make it consume less energy, and to do it in such a way that the code is guaranteed to still meet its specification.
The Energise project aims to develop new, formally-motivated, refactorings and transformations that reduce energy consumption for embedded
multi-core devices. This includes implementing refactorings for target languages such as C; proving general soundness of the refactorings using e.g. dependent types; developing new programming abstractions (skeletons) for common energy-reducing programming
patterns; running experiments; writing proofs of correctness, etc.
The post will require skills in formal semantics of programming languages, compilers, program transformation, lightweight formal methods
(including, e.g. dependent types) and knowledge of parallelism and non-functional properties, including energy.
Informal enquiries can be directed to Dr Chris Brown (cmb21@st-andrews.ac.uk).
Applications are particularly welcome from women, people from the Black, Asian, Minority or Ethnic (BAME) community and other protected
characteristics who are under-represented in research posts at the University.
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/.
Interviews will be held on TBC.
Please quote ref: AR2474MR
Closing Date: 26 February 2021
School of Computer Science
Salary: £33,797 - £36,914 per annum
Fixed Term: 3 years
Start: As soon as possible
More details at: https://www.vacancies.st-andrews.ac.uk/Vacancies/W/6918/0/284952/889/research-fellow-ar2474mr