|Salary:||£36,770 to £53,757 per annum, inclusive of London Allowance. UCL Grade 8|
|Placed On:||28th September 2021|
|Closes:||31st October 2021|
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 http://pplv.cs.ucl.ac.uk/welcome/
For an informal discussion about this position, please contact Prof David Pym at email@example.com.
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.
Type / Role: