- Conduct research within specified research grants and projects
- Conduct independent research and academic activities
- Develop research objectives and proposals for own or joint research, with assistance of a mentor if required
- 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 collaborative activities within the group at Birmingham.
- First degree in area of specialism and normally, a higher degree related to the research area of Logic (Computer Science, Mathematics or Philosophy) or equivalent qualifications/experience
- Strong research record for career stage.
- Expertise in proof theory or type theory. Any experience with proof assistants such as Coq, Agda, Lean, is helpful.
- A background in automata theory is helpful, in particular over infinite words and trees.
- A background in mathematical logic is helpful, in particular metamathematics.
-
Music Administrator
3 days ago
The Blue Coat School Birmingham, United Kingdom**Contract type** - Fixed term, one year maternity cover · **Core Hours** - 8am - 1pm Monday to Friday during term tim · **Closing Date** - Wednesday 13th March 2024 · **Interview Date** - Wednesday 20th March 2024 · **Start Date** - end of May 2024 · We are seeking to recruit a ...
-
HGV Trainee Driver
3 days ago
HGVT Limited Birmingham, United KingdomDo you enjoy driving? · • Are you looking for a new career in the transport and logistics industry that can lead to a full-time job and a recession-proof career? · If so, are you ideally suited to become a HGV / LGV driver. Our advance level HGV training course will help you to g ...
-
Software Engineer in DevOps
2 weeks ago
Rise Technical Solihull, West Midlands, United KingdomSoftware Engineer (Solar converter)£50,000 - £79,000 + Healthcare + Holiday + Life assurance + Relocation Package + Sponsorship · Birmingham – On-site · Are you a Software Engineer who is looking to join an internationally renowned company where you will be working on cutting-e ...
-
Software Engineer
2 weeks ago
Rise Technical Solihull, West Midlands, United KingdomSoftware Engineer (Solar converter)£50,000 - £79,000 + Healthcare + Holiday + Life assurance + Relocation Package + SponsorshipBirmingham – On-siteAre you a Software Engineer who is looking to join an internationally renowned company where you will be working on cutting-edge, ind ...
-
Project Engineer
1 week ago
CONTECHS Warwickshire, United KingdomJob Description · Position: EMC Engineer · Location: Leamington Spa · Position Type: Permanent · Contechs is recruiting on behalf of its client whose mission is to drive technological advancements within the mobility sector. They are seeking an experienced Senior Project engine ...
-
Project Engineer
3 days ago
CONTECHS Warwickshire, United KingdomPosition: EMC Engineer · Location: Leamington Spa · Position Type: Permanent · Contechs is recruiting on behalf of its client whose mission is to drive technological advancements within the mobility sector. They are seeking an experienced Senior Project engineer who has a stron ...
-
Senior Project Engineer
1 week ago
Contechs Consulting Warwick, Warwickshire, United Kingdom Full timePosition Type: Permanent · Contechs is recruiting on behalf of its client whose mission is to drive technological advancements within the mobility sector. They are seeking an experienced Senior Project engineer who has a strong back of Electrical modules on a Perm basis. Own and ...
-
Senior Project Engineer
1 week ago
CONTECHS Warwickshire, United Kingdom Full timePosition Type: Permanent · Contechs is recruiting on behalf of its client whose mission is to drive technological advancements within the mobility sector. They are seeking an experienced Senior Project engineer who has a strong back of Electrical modules on a Perm basis. Own and ...
-
Project Engineer
1 week ago
Contechs Warwickshire, United Kingdom PermanentPosition: EMC Engineer · Location: Leamington Spa · Position Type: Permanent · Contechs is recruiting on behalf of its client whose mission is to drive technological advancements within the mobility sector. They are seeking an experienced Senior Project engineer who has a stron ...
-
Project Engineer
2 days ago
Contechs Alcester, Warwickshire, United KingdomPosition: EMC Engineer · If you want to know about the requirements for this role, read on for all the relevant information. · Location: Leamington Spa · Position Type: Permanent · Contechs is recruiting on behalf of its client whose mission is to drive technological advancements ...
-
Project Engineer
1 week ago
CONTECHS Warwickshire, United KingdomJob Description Position: EMC Engineer · Location: Leamington Spa · Position Type: Permanent · Contechs is recruiting on behalf of its client whose mission is to drive technological advancements within the mobility sector. They are seeking an experienced Senior Project engine ...
-
Project Engineer
1 week ago
CONTECHS Warwickshire, United KingdomPosition: EMC Engineer Location: Leamington SpaPosition Type: Permanent Contechs is recruiting on behalf of its client whose mission is to drive technological advancements within the mobility sector. They are seeking an experienced Senior Project engineer who has a strong back of ...
Research Fellow in Proof Theory II - Birmingham, United Kingdom - University of Birmingham
Description
Salary: Full time starting salary is normally in the range £34,980 to £44,263 with potential progression once in post to £46,974
Contract Type: Fixed Term contract up to August 2026
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".
The project aims to develop the proof theory of 'cyclic proofs' and their connections to automata theory. In this latter half of the project, there is also an emphasis on formalisation in proof assistants such as Coq, Agda, Lean..., as well as implementations of some of the systems developed.
The principal responsibility of the fellow will be to conduct research, both collaboratively with Dr Das and other researchers at Birmingham, and independently. We have a vibrant group in Birmingham, and the fellow is also expected to contribute to a collaborative working atmosphere. The fellow will be supported in career development and encouraged to pursue independent opportunities, not only in terms of research but also, e.g., teaching and grant applications.
Role Summary
Main Duties
The responsibilities may include some but not all of the responsibilities outlined below.
Person Specification
Informal enquires can be made to Dr Anupam Das, email:
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
£34,980 to £44,263 with potential progression once in post to £46,974
Research Fellow in Proof Theory II professionals in Birmingham
-
Alistair Green
Process & Formulation Engineer