Skip to main content

This job has expired

Research Fellow - School of Computer Science

Employer
Global Academy Jobs
Location
United Kingdom
Salary
£30,942.00 - £42,792.00
Closing date
Nov 16, 2019

Job Details

Research Fellow - 95175

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

Hours: Full time

Duration: Fixed-term for up to 22 months

Location: University of Birmingham, Edgbaston, Birmingham, UK

Closing Date: 16 November 2019

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/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

Person Specification

• Hold or be close to completing a Doctorate in mathematics, computer science, or a related topic.

• 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

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

We value diversity at The University of Birmingham and welcome applications from all sections of the community

Valuing excellence; sustaining investment

Company

Global Academy Jobs works with over 250 universities worldwide to promote academic mobility and international research collaboration. Global problems need international solutions. Our jobs board and emails reach the academics and researchers who can help.

"The globalisation of higher education continues apace, driving in turn the ongoing development of the global knowledge economy, striving for solutions to the world’s problems and educating a next generation of leaders and contributors."

Company info
Website

Get job alerts

Create a job alert and receive personalized job recommendations straight to your inbox.

Create alert