Research Fellow - School of Computer Science - 95175 - Grade 7

RESEARCH FELLOW - 95715

Position Details:

Area: School of Computer Science in the College of Engineering and Physical Sciences

Salary: Full time starting salary is normally in the range £30,942 to £40,322 with potential progression once in post to £42,792

Band/Grade: Grade 7

Hours: Full-time

Duration: Fixed-term for up to 7 months

Location: University of Birmingham, Edgbaston, Birmingham, UK

Closing Date: 8 June 2021

Background

To work with the Principal Investigator and the external collaborator on the project A theory of type theories.

Summary of Role

• Research in the area of categorical semantics of type theory.
• Writing research papers communicating scientific results.
• Work occasionally on funding applications under the direction of the PI.
• Consider and develop applications to industry.

Main Duties and Responsibilities

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

• Conduct own and original research into the mathematical foundations of type theories, signatures for type theories, and their models, based on fibered category theory
• Develop research objectives and proposals for own or joint research, with assistance of a PI if required
• Contribute from time to time on writing bids for research funding
• Write research papers and giving talks to disseminate results
• Formalize research results in a computer proof assistant.
• Apply knowledge in a way which develops new intellectual understanding
• Disseminate research findings for publication, research seminars etc
• Work with other project members, including where appropriate Masters and PhD students, to develop the tool
• Produce innovative new tools, techniques and methods to develop the research programme and extend its usefulness and impact
• From time to time, perform necessary administration and organizational tasks, including, but not limited to, writing reports, hosting seminar speakers, and organizing scientific workshops.
• Contribute to the research group in the School in a positive way.
• Contribute to School research-related activities and research-related administration
• Deal with unexpected issues and occurrences which may cause a problem with the research programme
• Promotes equality and values diversity acting as a role model and fostering an inclusive working culture.

Person Specification

• Hold or be close to completing a Doctorate in mathematics, computer science, or a related topic, or equivalent qualifications/experience
• Good knowledge of category theory, in particular, fibrations of categories.
• Good knowledge of type theory and its categorical semantics.
• Experience in computer theorem proving, preferably in a prover based on type theory.
• Strong knowledge of type theory and fibrations of categories
• Strong knowledge of homotopy theory
• High level analytical capability
• Ability to communicate complex information clearly
• Ability to assess resource requirements and use resources effectively
• Willingness to contribute to the planning and organising of the research programme
• Ability to write research papers
• Ability to prepare and deliver research presentations
• 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

Informal enquiries can be made to Benedikt Ahrens; b.ahrens@bham.ac.uk

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.