Two research fellowships in programming principles, logic, and verification, London (England)

There are two Research Fellow positions available at UCL's Programming Principles, Logic, and Verification group, to be associated with the UK EPSRC-funded IRIS project, Interface Reasoning for Interacting Systems. The positions are available for 12 months initially, with possible extension to 36 months. The closing date is 11 December.

The first position is a post in logic, to work in the areas of a) the semantics and proof theory of modal and substructural logics, b) program and systems verification, and c) modelling and reasoning about distributed and multi-agent systems. The post will involve collaboration with Didier Galmiche's group at Nancy. Details at https://www.jobs.ac.uk/job/CCK032/research-fellow-in-programming-principles-logic-and- verification

The second position is a post in systems security modelling, with expertise in these areas: a) experience and expertise in modelling or simulation, b) good technical understanding of systems and networks, and c) familiarity with computer security and organizational security policy. The post will involve collaboration with HP Labs and BT, and will be jointly supervised by Dr. Tristan Caulfield. Details at https://www.jobs.ac.uk/job/CCM470/research-fellow-in-systems-security-modelling