[TYPES/announce] Postdoc Vacancy at St Andrews
cmb21 at st-andrews.ac.uk
Mon Jul 25 06:31:37 EDT 2022
The Programming Languages Group at the University of St Andrews seeks a post-doctoral research fellow for a fixed 12-month position.
Details of the position can be found here:
School of Computer Science Salary: £34,304 per annum Start date: 1 October 2022 or as soon as possible thereafter Fixed-term: 12 months
Applications are sought for a committed Post-doctoral Research Fellow to work with Dr Chris Brown conducting research for a EPSRC funded project entitled Energise: Refactorings and Skeletons for Energy-Aware Applications on High-Performance Embedded Systems. The primary duties will be to 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 abstracting common energy-reducing programming patterns; running experiments; writing proofs of correctness.
The successful applicant will have (or be near to completion of) a PhD in Programming Languages with expertise in formal semantics of programming languages, compilers, program transformation, lightweight formal methods (including, e.g. dependent types) and/or knowledge of parallelism and non-functional properties, including energy.
The post is available on a fixed-term basis for 12 months starting 1st October or as soon as possible thereafter.
Further details of the project can be found by contacting Dr Christopher Brown (cmb21 at st-andrews.ac.uk<mailto:cmb21 at st-andrews.ac.uk>).
Applications are particularly welcome from women, people from the Black, Asian and Minority Ethnic (BAME) community, and other protected characteristics who are under-represented in research posts at the University.
Equality, diversity and inclusion are at the heart of the St Andrews experience. We strive to create a fair and inclusive culture demonstrated through our commitment to diversity awards (Athena Swan, Carer Positive, LGBT Charter, Race Charters and Stonewall). We celebrate diversity by promoting profiles of BAME, LGBTIQ+ staff and supporting networks including the Staff BAME Network; Staff with Disabilities Network; Staff LGBTIQ+ Network; and the Staff Parents & Carers Network. Full details available online: https://urldefense.com/v3/__https://www.st-andrews.ac.uk/hr/edi/__;!!IBzWLUs!QzpNePqGAehcfLbTzDcFFOQUAmzkv4sA7fO7RWQErq8beWWx8cjZOQCzW1XciKUFdDh4irqkyKD3w8otkcPJGDGQg_AM0nCBbM8$
Closing Date: 29 July 2022
Interview Date: 23 August 2022
Please quote ref:AR2699GB
School of Computer Science
Salary: £34,304 per annum
Start date: 1 October 2022 or as soon as possible thereafter
Fixed-term: 12 months
-------------- next part --------------
An HTML attachment was scrubbed...
More information about the Types-announce