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
View more
- Sector
- Science, Computer Science and IT, Computer Science, Mathematics and Statistics
- Hours
- Full Time
- Organization Type
- University and College
- Jobseeker Type
- Academic (e.g. 'Lecturer')
You need to sign in or create an account to save a job.
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
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
You need to sign in or create an account to save a job.
Get job alerts
Create a job alert and receive personalized job recommendations straight to your inbox.
Create alert