Research Fellow in Proof Theory - School of Computer Science - 96035 - Grade 7

University of Birmingham ,
Birmingham, West Midlands

Overview

Job Description

RESEARCH FELLOW IN PROOF THEORY - 986035 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 2 years No of Posts: 2 Location: University of Birmingham, Edgbaston, Birmingham, UK Closing Date: 24 June 2020 Background To create and contribute to the creation of knowledge by undertaking research under the supervision of Dr Anupam Das on the UKRI Future Leaders Fellowship project 'StrIP: Structure vs Invariants in Proofs". Summary of Role Conduct research within specified research grants and projects Conduct independent research and academic activities Main Duties/Responsibilities 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 Conduct own and original research Contribute to writing bids for research funding 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 Contribute to public engagement activities of manifest benefit to the College and the University, often under supervision of a project leader Present research outputs, including drafting academic publications or parts thereof, for example at seminars and as posters Deal with problems that may affect the achievement of research objectives and deadlines Promote equality and values diversity acting as a role model and fostering an inclusive working culture Person Specification Hold, or be close to completing a PhD in Logic (Computer Science, Mathematics or Philosophy), or equivalent qualifications Have an excellent research record with expertise in some of the following areas Proof theory (in particular, deep inference or cyclic proofs) Automata theory (in particular, infinite word and infinite tree automata) Mathematical logic (in particular fragments, of arithmetic or set theory) High level analytical capability Ability to communicate complex information clearly, including to non-specialists Fluency in relevant techniques or methods and ability to contribute to developing new ones 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 can be made to Dr Anupam Das, a.das@bham.ac.uk We value diversity at The University of Birmingham and welcome applications from all sections of the community' Valuing excellence; sustaining investment