[TYPES/announce] Research Fellow Positions at UCL PPLV, London

[Pym, David]

[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-logic-and-
       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-modelling


       The post will involve collaboration with HP Labs and BT, and will be jointly 
       supervised by Dr. Tristan Caulfield.  


Contacts: d.pym at ucl.ac.uk, t.caulfield at 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 at 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 at ucl.ac.uk, +44 (0)20 7679 0327