Research Fellow

Salary: Full time starting salary is normally in the range £35,880 to £45,163 with potential progression once in post to £47,874

Contract Type: Fixed Term Contract up to 12 months

Background

To create and contribute to the creation of knowledge by undertaking a specified range of activities within an established research programme and/or specific research project. The research project concerned is entitled “Higher Algebra in Computer Science” and aims to further the development of homotopy type theory as a foundation for constructive mathematics. 

Role Summary

• Work within specified research grants and projects and contribute to writing bids 
• Operate within area of specialism
• Analyse and interpret research findings and results 
• Contribute to generating funding 
• Contribute to licensing or spin out deals with demonstrated commercial success (such as revenues, asset or company sales, IP generated) and/or public understanding of the discipline or similar
• Contribute to the design and semantics of dependent type theories with higher-categorical features

Main Duties

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

• Develop research objectives and proposals for own or joint research, with assistance of a mentor if required
• Contribute to writing bids for research funding
• Analyse and interpret data
• Apply knowledge in a way which develops new intellectual understanding
• 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
• Contribute to enterprise, business development and/or public engagement activities of manifest benefit to the College and the University, often under supervision of a project leader
• Collect research data; this may be through a variety of research methods, such as scientific experimentation, literature reviews, and research interviews
• 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

Person Specification

• First degree in area of specialism and normally, a higher degree relevant to research area or equivalent qualifications/experience
• Familiarity with Univalent Mathematics and Homotopy Type Theory
• Knowledge of categorical logic and semantics of dependent types
• Experience with computer proof assistants 
• 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

Informal enquiries to Eric Finster, email: e.l.finster@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.

Closes: 13^th March 2025

Advert information