News and Events: Open Positions

Please note that this newsitem has been archived, and may contain outdated information or links.

Research Fellowship in Logic, London (England)

Deadline: Friday 15 October 2021

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.

Please note that this newsitem has been archived, and may contain outdated information or links.