Back to search results

Postdoctoral Research Fellow in Proof Theory

University of Birmingham - School of Computer Science

Location: Birmingham
Salary: £31,406 to £40,927 Grade 7
Hours: Full Time
Contract Type: Fixed-Term/Contract
Placed On: 11th May 2022
Closes: 29th May 2022
Job Ref: 96035

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 £31,406 to £40,927 with potential progression once in post to £43,434

Duration: Fixed-term up till 30/04/2024

Location: University of Birmingham, Edgbaston, Birmingham, UK

Background

People are at the heart of what we are and do. We want to attract outstanding, inspirational, and talented people, support them to succeed, and celebrate their success. Working at the University of Birmingham gives you access to the best financial and physical resources, a beautiful campus and an intellectually stimulating and diverse community. Our sector leading development programmes have made this a place where staff can thrive and recognition by Athena Swan, Stonewall, and Two Ticks demonstrates our commitment to supporting talented people from all backgrounds.

Summary of Role

A Postdoctoral Research Fellow position is available in Proof Theory at the School of Computer Science of the University of Birmingham, UK.

This position is funded by a UKRI Future Leaders Fellowship “StrIP: Structure vs Invariants in Proofs”, led by Dr Anupam Das. The project aims to develop the theory of ‘cyclic proofs’ and their connections to automata theory. The motivations are twofold:

  • advance the structural proof theory of cyclic proofs (e.g. normalisation theorems, proof search and computational interpretations).
  • widen the scope of cyclic proofs (e.g. algebras with iteration, modal fixed point logics and fragments of arithmetic/set theory).
  • establish proof theoretic correspondences between different traditions of cyclic proofs (e.g. via standard interpretations between modal logic and predicate logic, type systems and arithmetic etc.)

One particular goal is to establish a ‘deep inference’ approach to cyclic proofs, as a proof theoretic counterpart to ‘alternation’ in automata theory.

The principal responsibility of the fellow will be to conduct research, both collaboratively with Dr Das and other researchers at Birmingham, and independently. The fellow will also 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.

Qualifications and expertise

An ideal candidate will have (or be close to completing) a PhD in Logic (computer science, mathematics or philosophy). They will 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).

For further information please contact Dr Anupam Das, a.das@bham.ac.uk.

To download the full job description and details of this position and submit an electronic application online please click on the Apply Online button below or visit our careers website; https://bham.taleo.net/careersection/external/jobsearch.ftl?lang=en&portal=101430233, please quote Job Ref 96035 in all enquiries.

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. 

We value your feedback on the quality of our adverts. If you have a comment to make about the overall quality of this advert, or its categorisation then please send us your feedback
Advert information

Type / Role:

Subject Area(s):

Location(s):

Job tools
 

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Ok Ok

PhD Alert Created

Job Alert Created

Your PhD alert has been successfully created for this search.

Your job alert has been successfully created for this search.

Manage your job alerts Manage your job alerts

Account Verification Missing

In order to create multiple job alerts, you must first verify your email address to complete your account creation

Request verification email Request verification email

jobs.ac.uk Account Required

In order to create multiple alerts, you must create a jobs.ac.uk jobseeker account

Create Account Create Account

Alert Creation Failed

Unfortunately, your account is currently blocked. Please login to unblock your account.

Email Address Blocked

We received a delivery failure message when attempting to send you an email and therefore your email address has been blocked. You will not receive job alerts until your email address is unblocked. To do so, please choose from one of the two options below.

Max Alerts Reached

A maximum of 5 Job Alerts can be created against your account. Please remove an existing alert in order to create this new Job Alert

Manage your job alerts Manage your job alerts

Creation Failed

Unfortunately, your alert was not created at this time. Please try again.

Ok Ok

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

Create PhD Alert

Create Job Alert

When you create this PhD alert we will email you a selection of PhDs matching your criteria.When you create this job alert we will email you a selection of jobs matching your criteria. Our Terms and Conditions and Privacy Policy apply to this service. Any personal data you provide in setting up this alert is processed in accordance with our Privacy Notice

 
 
More jobs from University of Birmingham

Show all jobs for this employer …

More jobs like this
Join in and follow us

Browser Upgrade Recommended

jobs.ac.uk has been optimised for the latest browsers.

For the best user experience, we recommend viewing jobs.ac.uk on one of the following:

Google Chrome Firefox Microsoft Edge