[Agda] Postdoc Vacancy at St Andrews

Christopher Brown cmb21 at st-andrews.ac.uk
Mon Jul 25 12:31:37 CEST 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:


Vacancy Description
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://www.st-andrews.ac.uk/hr/edi/

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...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20220725/f6c61c50/attachment.html>

More information about the Agda mailing list