CAUTION: The Sender of this email is not from within Dalhousie. [Apologies for cross-postings, but please share freely. Thank you.] Two Research Fellow positions at UCL’s Programming Principles, Logic, and Verification group. I am looking two Research Fellows to be associated with the UK EPSRC-funded IRIS project, Interface Reasoning for Interacting Systems, https://uclirisproject.wordpress.com. The positions are available for 12 months initially, with possible extension to 36 months. The closing date is 11 December. 1. A post in logic, to work in these areas: - the semantics and proof theory of modal and substructural logics - program and systems verification, and - modelling and reasoning about distributed and multi-agent systems. Details at https://www.jobs.ac.uk/job/CCK032/research-fellow-in-programming-principles-... verification The post will involve collaboration with Didier Galmiche's group at Nancy. 2. A post in systems security modelling, with expertise in these areas: - experience and expertise in modelling or simulation - good technical understanding of systems and networks - familiarity with computer security and organizational security policy. Details at https://www.jobs.ac.uk/job/CCM470/research-fellow-in-systems-security-modell... The post will involve collaboration with HP Labs and BT, and will be jointly supervised by Dr. Tristan Caulfield. Contacts: d.pym@ucl.ac.uk, t.caulfield@ucl.ac.uk — 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.pym@ucl.ac.uk www.cs.ucl.ac.uk/people/D.Pym.html www.cs.ucl.ac.uk/staff/D.Pym/ Assistant: Julia Savage, j.savage@ucl.ac.uk, +44 (0)20 7679 0327 [For admin and other information see: http://www.mta.ca/~cat-dist/ ]