Research Fellowship in Logic, London (England)

UCL's Professor David J. Pym is looking for Research Fellows in Logic to join him in UCL's PPLV (Programming Principles, Logic, and Verification) group in London.

He is interested in the following topics:
- Foundational work in classical, intuitionistic, modal, and substructural logic, with a particular interests in
- proof-theoretic semantics, including primary and categorical approaches, and - foundational work in reductive logic and proof-search.
- Applications of logical ideas to systems modelling.
- The development of logical tools for systems modelling, including dynamic, epistemic, deontic, and doxastic approaches, with case studies in security and policy modelling.

Posts are 12 months in the first instance with possible extensions subject to agreement. The posts are funded by UK EPSRC grants.