Back to search results

Research Fellow/Senior Research Fellows in Logic x3

UCL - Computer Science

Location: London
Salary: £36,770 to £53,757 per annum, inclusive of London Allowance. UCL Grade 8
Hours: Full Time
Contract Type: Fixed-Term/Contract
Placed On: 28th September 2021
Closes: 31st October 2021
Job Ref: 1879002

Fixed Term: Funding for the posts is for 12 months in the first instance subject to the number of appointments and/or more funding becoming available

Applications are invited for several post-doctoral positions in Logic in the Programming Principles, Logic, and Verification (PPLV) group at UCL Department of Computer Science, working with Professor David Pym and his group. The posts are associated with EPSRC-funded projects and will involve collaborations with colleagues in France, Germany, the United States, and elsewhere in London and the UK.

The research may include:

foundational work in classical, intuitionistic, modal, and substructural logic, proof-theoretic semantics, including primary and categorical approaches, foundational work in reductive logic and proof-search, applications of logical ideas to systems modelling, the development of tools for systems modelling, including dynamic, epistemic, deontic, and doxastic approaches, with case studies in security and policy modelling.

The PPLV group conducts world-leading research in logical and algebraic methods and their applications to program and systems modelling and verification. 

Applicants must hold, or be about to receive, a PhD in logic or a closely related area. We are particularly interested in applicants whose research interests include any of the following:

the proof theory and model theory of classical, intuitionistic, modal, and substructural logic, reductive logic and proof-search, applications of logical ideas to systems modelling, tools for systems modelling, with case studies in security and policy modelling. Appointment at Grade 7 is dependent upon having been awarded a PhD; if this is not the case, initial appointment will be at Research Assistant Grade 6B (salary £32,217 - £33,958 per annum) with payment at Grade 7 being backdated to the date of final submission of the PhD thesis. 

Applicants should apply online. To access further details about the position and how to apply please click on the ‘Apply’ button above.

The successful candidate will join the PPLV group. Further information about PPLV can be found at 

For an informal discussion about this position, please contact Prof David Pym at

Latest time for the submission of applications: 23:59. 

We particularly welcome female applicants and those from an ethnic minority, as they are under-represented within UCL at this level. 

UCL Taking Action for Equality 

We will consider applications to work on a part-time, flexible and job share basis wherever possible. 

Our department holds an Athena SWAN Silver award, in recognition of our commitment and demonstrable impact in advancing gender equality.

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):


Job tools
More jobs from UCL

Show all jobs for this employer …

More jobs like this
Join in and follow us

Browser Upgrade Recommended has been optimised for the latest browsers.

For the best user experience, we recommend viewing on one of the following:

Google Chrome Firefox Microsoft Edge