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.ukmailto: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.ukmailto: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/researc...