This job offer is not available in your country.
Research Fellow - College of Engineering and Physical Sciences - 103237 - Grade 7
University of BirminghamUnited Kingdom30+ days ago
Salary
£34,980.00–£44,263.00 yearly
Job type
- Full-time
Job descriptionDevelop 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 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
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.
Person Specification