[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Please note, with my apologies, an error in the information below: the closing date should read 31 October. Thank you to the many people who have pointed this out. [Apologies for cross-postings. Please share widely. Thank you.] I am looking for Research Fellows in Logic to join me in UCL’s PPLV group (https://urldefense.com/v3/__http://pplv.cs.ucl.ac.uk/welcome/__;!!IBzWLUs!GG2yIljBat3ZZi_fR9unrOYSnY__jhqSmcuPAe6QV2r8MmGk7y-vqNUVMcnGVxydU4NOMwBequukfA$ ) in London. I’m 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 the closing date is 15 October. Details, including salary, terms, and how to apply may be found at UCL’s jobs page: https://urldefense.com/v3/__https://atsv7.wcn.co.uk/search_engine/jobs.cgi__;!!IBzWLUs!GG2yIljBat3ZZi_fR9unrOYSnY__jhqSmcuPAe6QV2r8MmGk7y-vqNUVMcnGVxydU4NOMwAhZsxdqQ$ under Research Fellow/Senior Research Fellows in Logic, specifically https://urldefense.com/v3/__https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=amNvZGU9MTg3OTAwMiZ2dF90ZW1wbGF0ZT05NjYmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJnZhY194dHJhNTA0MTE3OC41MF81MDQxMTc4PTkyNzg2JnZhY3R5cGU9MTI3NiZwb3N0aW5nX2NvZGU9MjI0__;!!IBzWLUs!GG2yIljBat3ZZi_fR9unrOYSnY__jhqSmcuPAe6QV2r8MmGk7y-vqNUVMcnGVxydU4NOMwBY8Gh_3Q$ For an informal discussion, please contact me at - d....@ucl.ac.uk - https://urldefense.com/v3/__http://www.cs.ucl.ac.uk/staff/D.Pym/__;!!IBzWLUs!GG2yIljBat3ZZi_fR9unrOYSnY__jhqSmcuPAe6QV2r8MmGk7y-vqNUVMcnGVxydU4NOMwC2uvUBQg$ Thank you, David — Prof. David J. Pym Professor of Information, Logic, and Security Head of Programming Principles, Logic, and Verification University College London Honorary Research Fellow, Institute of Philosophy, University of London Director, UCL Centre for Doctoral Training in Cybersecurity Editor-in-Chief, OUP Journal of Cybersecurity d....@ucl.ac.uk https://urldefense.com/v3/__http://www.cs.ucl.ac.uk/people/D.Pym.html__;!!IBzWLUs!GG2yIljBat3ZZi_fR9unrOYSnY__jhqSmcuPAe6QV2r8MmGk7y-vqNUVMcnGVxydU4NOMwD5mL_vCA$ https://urldefense.com/v3/__http://www.cs.ucl.ac.uk/staff/D.Pym/__;!!IBzWLUs!GG2yIljBat3ZZi_fR9unrOYSnY__jhqSmcuPAe6QV2r8MmGk7y-vqNUVMcnGVxydU4NOMwC2uvUBQg$ Assistant: Julia Savage, j.sav...@ucl.ac.uk, +44 (0)20 7679 0327