Research Fellow

Contract Type:

Fixed Term contract up to March 2027 

UK and Global travel will be required as part of this role 

Undertake the role of Research Fellow on the EPSRC Grant Semantics-Directed Compiler Construction: From Formal Semantics to Certified Compilers.

Role Summary

• Carry out research within the specified research grant area, theory of programming languages, including the development of proof-of-concept prototypes
• Write up research papers and contribute to open-source repositories 
• Contribute to generating further funding 
• Contribute to licensing or spin out deals or to the public understanding of the discipline

Main Duties

The responsibilities may include some but not all of the responsibilities outlined below.

• Develop the understanding of compiler and interpreter development from sound semantic principles
• Focus on the use of string diagrams and graph rewriting in the development of compilers and interpreters
• Disseminate research findings for publication, research seminars etc
• Supervise students on research related work and provide guidance to PhD students where appropriate to the discipline
• Contribute to developing new models, techniques and methods 
• Undertake management/administration arising from research
• Contribute to Departmental/School research-related activities and research-related administration
• Present research outputs, including drafting academic publications or parts thereof, for example at seminars and as posters
• Provide guidance, as required, to support staff and any students who may be assisting with the research
• Deal with problems that may affect the achievement of research objectives and deadlines

Person Specification

• First degree in theoretical computer science is required and normally, a higher degree relevant to the research areas below or equivalent qualifications or experience:
  • Category theory
  • Graph rewriting 
  • Programming language semantics 
  • Abstract machines 
  • Compilation and interpretation        
• High level analytical capability
• Ability to communicate complex information clearly
• Fluency in relevant models, techniques or methods and ability to contribute to developing new ones

Informal enquiries to Dan Ghica, email: d.r.ghica@bham.ac.uk

To download the full job description and details of this position and submit an electronic application online please click on the 'Apply' button above.

Valuing excellence, sustaining investment
We value diversity and inclusion at the University of Birmingham and welcome applications from all sections of the community and are open to discussions around all forms of flexible working

Advert information