Social network you want to login/join with:
Research Fellow - College of Engineering and Physical Sciences - 103237 - Grade 7, United Kingdom
Client:
University of Birmingham
Location:
-
EU work permit required:
Yes
Job Reference:
cae9ecd3e023
Job Views:
126
Posted:
11.04.2025
Expiry Date:
26.05.2025
Job Description:
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/experience: Programming language semantics, Abstract machines, Compilation and interpretation, Category theory, Graph rewriting.
* 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.
* Ability to assess resource requirements and use resources effectively.
* Understanding of and ability to contribute to broader management/administration processes.
* Contribute to the planning and organising of the research programme and/or specific research project.
* Co-ordinate own work with others to avoid conflict or duplication of effort.
* Knowledge of the protected characteristics of the Equality Act 2010, and how to actively ensure in day-to-day activity in own area that those with protected characteristics are treated equally and fairly.
* Ability and willingness to learn new things to a high degree of proficiency.
* Ability to code at the level of implementing complex proof-of-concept compilers and interpreter prototypes.
* Familiarity with mainstream proof assistant is not required but it is recommended.
#J-18808-Ljbffr