Logic List Mailing Archive

Two research fellowships in programming principles, logic, and verification, London (England), Deadline: 11 Dec 2020

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@ucl.ac.uk, t.caulfield@ucl.ac.uk
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam