CAUTION: The Sender of this email is not from within Dalhousie. Research position at UCL, London:=20 Research Fellow in Programming Principles, Logic, and Verification: Systems= Security Modelling The PPLV group conducts world-leading research in logical and algebraic met= hods and their applications to program and systems modelling and verificati= on. The Interface Reasoning for Interacting Systems (IRIS) project, led by = Professor David Pym, uses logical and algebraic methods to understand the = compositional structure of systems and their communications, seeking to dev= elop analyses at all scales, from code through distributed systems to organ= izational structure, generically and uniformly. =20 Applicants must hold, or be about to receive, a PhD in rigorous computer sc= ience, or a closely related area. The post holder will demonstrate the foll= owing criteria:=20 - actively contribute to both the theory and implementation of interfaces a= nd composition in a distributed systems modelling context, construction of = models - possess a solid grounding and understanding of process algebras and modal= logics coupled with a strong programming background, including experience= with or the ability to learn the Julia language - demonstrable experience or ability to work with industrial partners (from= HP labs and BT) and academic partners from UCL and other institutions as= part of the project is essential.=20 In addition the knowledge of or interest in learning about computer securit= y, networks, and information systems management will be essential to succee= ding in this post. This post will contribute to the EPSRC-funded IRIS project: Interface Reaso= ning for Interacting Systems. Part of the IRIS project is concerned with lo= oking at organizational policy decisions and how they affect the performanc= e of the organization in different dimensions, such as efficiency and secur= ity. Modelling tools can be used to help decision makers understand the beh= aviour of a system and how it will behave given different policy decisions.= Organizations are complex systems, with technical, structural, human, and= policy components that interact in complex ways. To deal with this comple= xity, compositional approaches are needed, where parts of the system can be= modelled independently and combined together according to rigorously speci= fied interfaces. The purpose of this job is to develop and apply the methodology and tools r= equired to construct models that capture the structure, dynamics, and polic= y of organizations. This will involve working with companies, including BT= and HP Labs, to create models to help them make decisions about their real= -world challenges. Enquiries: David Pym (d.pym@ucl.ac.uk, http://www.cs.ucl.ac.uk/staff/D.Pym= /) or Tristan Caulfield (t.caulfield@ucl.ac.uk, https://www.tristancaulfield.com)= =20 Closing date: 18 April 2021 UCL: www.ucl.ac.uk=20 UCL CS: https://www.ucl.ac.uk/computer-science/=20 PPLV: http://pplv.cs.ucl.ac.uk/welcome/=20 Information Security: http://sec.cs.ucl.ac.uk/home/ UCL HR page, including how to apply:=20 https://atsv7.wcn.co.uk/search_engine/jobs.cgi?SID=3DamNvZGU9MTg3NTUwOCZ2dF= 90ZW1wbGF0ZT05NjUmb3duZXI9NTA0MTE3OCZvd25lcnR5cGU9ZmFpciZicmFuZF9pZD0wJmpvY= l9yZWZfY29kZT0xODc1NTA4JnBvc3RpbmdfY29kZT0yMjQ=3D [For admin and other information see: http://www.mta.ca/~cat-dist/ ]