From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/10426 Path: news.gmane.io!.POSTED.blaine.gmane.org!not-for-mail From: "Pym, David" Newsgroups: gmane.science.mathematics.categories Subject: Research position at UCL, London Date: Tue, 23 Mar 2021 14:27:42 +0000 Message-ID: Reply-To: "Pym, David" Injection-Info: ciao.gmane.io; posting-host="blaine.gmane.org:116.202.254.214"; logging-data="6201"; mail-complaints-to="usenet@ciao.gmane.io" To: "categories@mta.ca" Original-X-From: majordomo@rr.mta.ca Wed Mar 24 22:02:31 2021 Return-path: Envelope-to: gsmc-categories@m.gmane-mx.org Original-Received: from smtp2.mta.ca ([198.164.44.75]) by ciao.gmane.io with esmtps (TLS1.2:ECDHE_RSA_AES_256_GCM_SHA384:256) (Exim 4.92) (envelope-from ) id 1lPAe6-0001Wc-Oa for gsmc-categories@m.gmane-mx.org; Wed, 24 Mar 2021 22:02:30 +0100 Original-Received: from rr.mta.ca ([198.164.44.159]:49604) by smtp2.mta.ca with esmtp (Exim 4.80) (envelope-from ) id 1lPAbQ-00068l-Ff; Wed, 24 Mar 2021 17:59:44 -0300 Original-Received: from majordomo by rr.mta.ca with local (Exim 4.92.1) (envelope-from ) id 1lPAZs-0001wO-Te for categories-list@rr.mta.ca; Wed, 24 Mar 2021 17:58:08 -0300 Accept-Language: en-GB, en-US Content-Language: en-US Precedence: bulk Xref: news.gmane.io gmane.science.mathematics.categories:10426 Archived-At: 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/ ]