About this role
Location: University of Birmingham, Edgbaston, Birmingham UK Full time starting salary is normally in the range £36,636 to £46,049 with potential progression once in post to £48,822. Fixed Term contract up to September 2027 Background Undertake the role of Research Fellow on the EPSRC Grant Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers, at the University of Birmingham (a joint project with Prof. Graham Hutton at the University of Nottingham). The main aim of the grant is to construct compilers automatically from semantic descriptions of languages. The research will employ methods from operational and denotational semantics, abstract machines, as well as string diagrams and graph rewriting. Some knowledge of category theory would be useful but not essential. Being able to formalise the frameworks and procedures using mainstream proof assistants is desirable. Role Summary Carry out research within the specified research grant area, theory of pr...