Research Fellow
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...
Lugar: Birmingham | 26/03/2026 22:03:48 PM | Salario: S/. £36636 - 46049 per year | Empresa: University of Birmingham