PhD Studentship at UCL: Algebra and Logic for Policy and Utility in Information Security
"Pym, David" <d.pym-hclig2XLE9Zaa/[email protected]> Tue, 27 May 2014 11:40:51 +0000
| Newsgroups | gmane.science.mathematics.frogs |
|---|---|
| Message-ID | <[email protected]> |
--_000_82A853CF3B18486DB97DEE1426D7C6D3uclacuk_ Content-Type: text/plain; charset="Windows-1252" Content-Transfer-Encoding: quoted-printable Apologies for cross-postings: I'd be very grateful if readers would be so k= ind as to pass this to any suitable candidates and/or local mailing lists. Informal e= nquiries to d.pym-hclig2XLE9Zaa/[email protected]<mailto:d.pym-hclig2XLE9Zaa/[email protected]> are welcome. Thank you. PhD Studentship Algebra and Logic for Policy and Utility in Information Security (ALPUIS) University College London Department of Computer Science Supervisor: David Pym Applications are invited for a PhD position at UCL's Department of Computer= Science, in the Programming Principles, Logic, and Verification and/or Information Secu= rity Research Groups. The studentship is funded by UCL in connection with the EPSRC-funde= d project, 'Algebra and Logic for Policy and Utility in Information Security', involvi= ng teams from UCL, the University of Bath, and the University of Aberdeen, and the Univer= sity of Exeter. The project is multidisciplinary, drawing upon logic, theoretical computer = science, economics, and security management and policy. The overall project has thre= e main components. First, a basic mathematical foundation that will address utilit= y theory from the perspective of algebraic theories of processes and their associate= d modal and substructural logics. This work will provide foundations for a systems mode= lling framework that both incorporates utility and is fully compositional. Second= , formulations of industrial- and large-scale security policy design and decision-making i= nformed by the concepts of the systems modelling framework. Third, agent- and game-bas= ed interpretations of the modelling framework described in the first part that= will address the policy issues formulated in the third part. Depending on the academic s= trengths and interests of the successful candidate, the studentship may be associated wi= th any of the three components of the project. The studentship will be funded for a period of 4 years. UCL will cover the = costs of fees at UK/EU rates (currently =A34,410 per annum) and will provide a total tax-= free stipend of =A315,726 per annum. A travel budget is also provided to enable attendance = at international conferences and workshops. The start-date for the studentship will be in Se= ptember 2014. We expect a candidate to have at least a strong 2:1 degree in Mathematics, = Computer Science, Engineering, and/or a related Master's degree. Some prior knowledg= e of some of information/computer security, security management/policy, logic, probabili= ty theory, mathematical modelling using tools such as Matlab, and empirical me= thods in data collection and analysis would be advantageous. Applications should be submitted to University College London. Please follo= w the link here http://www.ucl.ac.uk/prospective-students/graduate/apply/research/how-to-ap= ply/ to the online application. You should specify on your application that you would l= ike to be supervised by Prof. David Pym and make it clear in your personal statement = you are applying for the =91ALPUIS' studentship. -- Professor of Information, Logic, and Security Head of Programming Principles, Logic, and Verification University College London d.pym-hclig2XLE9Zaa/[email protected]<mailto:d.pym-hclig2XLE9Zaa/[email protected]> www.cs.ucl.ac.uk/People/D.Pym<http://www.cs.ucl.ac.uk/People/D.Pym> www.cs.ucl.ac.uk/staff/D.Pym/<http://www.cs.ucl.ac.uk/staff/D.Pym/> --_000_82A853CF3B18486DB97DEE1426D7C6D3uclacuk_ Content-Type: text/html; charset="Windows-1252" Content-ID: <D81E379C91BE2B4FB480EBAAB8E583D8-D1mgQ8lb40VvGL/OgGHhAAZ+Yw5/[email protected]> Content-Transfer-Encoding: quoted-printable <html> <head> <meta http-equiv=3D"Content-Type" content=3D"text/html; charset=3DWindows-1= 252"> </head> <body style=3D"word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-lin= e-break: after-white-space; "> <div>Apologies for cross-postings: I'd be very grateful if readers would be= so kind as to </div> <div>pass this to any suitable candidates and/or local mailing lists. Infor= mal enquiries to </div> <div><a href=3D"mailto:d.pym-hclig2XLE9Zaa/[email protected]">d.pym-hclig2XLE9Zaa/[email protected]</a> are welcom= e. </div> <div><br> </div> <div>Thank you. </div> <div><br> </div> <div><br> </div> <div>PhD Studentship</div> <div><br> </div> <div>Algebra and Logic for Policy and Utility in Information Security (ALPU= IS)</div> <div><br> </div> <div>University College London</div> <div>Department of Computer Science</div> <div><br> </div> <div>Supervisor: David Pym</div> <div><br> </div> <div>Applications are invited for a PhD position at UCL's Department of Com= puter Science, in </div> <div>the Programming Principles, Logic, and Verification and/or Information= Security Research </div> <div>Groups. The studentship is funded by UCL in connection with the EPSRC-= funded project, </div> <div>'Algebra and Logic for Policy and Utility in Information Security', in= volving teams from </div> <div>UCL, the University of Bath, and the University of Aberdeen, and the U= niversity of Exeter. </div> <div>The project is multidisciplinary, drawing upon logic, theoretical comp= uter science, </div> <div>economics, and security management and policy. The overall project has= three main </div> <div>components. First, a basic mathematical foundation that will address u= tility theory </div> <div>from the perspective of algebraic theories of processes and their asso= ciated modal and </div> <div>substructural logics. This work will provide foundations for a systems= modelling </div> <div>framework that both incorporates utility and is fully compositional. S= econd, formulations </div> <div>of industrial- and large-scale security policy design and decision-mak= ing informed by </div> <div>the concepts of the systems modelling framework. Third, agent- and gam= e-based </div> <div>interpretations of the modelling framework described in the first part= that will address </div> <div>the policy issues formulated in the third part. Depending on the acade= mic strengths and </div> <div>interests of the successful candidate, the studentship may be associat= ed with any of the </div> <div>three components of the project. </div> <div><br> </div> <div>The studentship will be funded for a period of 4 years. UCL will cover= the costs of fees </div> <div>at UK/EU rates (currently =A34,410 per annum) and will provide a total= tax-free stipend of </div> <div>=A315,726 per annum. A travel budget is also provided to enable attend= ance at international </div> <div>conferences and workshops. The start-date for the studentship will be = in September 2014.</div> <div>We expect a candidate to have at least a strong 2:1 degree in Mathemat= ics, Computer </div> <div>Science, Engineering, and/or a related Master's degree. Some prior kno= wledge of some of </div> <div>information/computer security, security management/policy, logic, prob= ability </div> <div>theory, mathematical modelling using tools such as Matlab, and empiric= al methods in data </div> <div>collection and analysis would be advantageous. </div> <div><br> </div> <div>Applications should be submitted to University College London. Please = follow the link here </div> <div><a href=3D"http://www.ucl.ac.uk/prospective-students/graduate/apply/re= search/how-to-apply/">http://www.ucl.ac.uk/prospective-students/graduate/ap= ply/research/how-to-apply/</a> to the </div> <div>online application. You should specify on your application that you wo= uld like to be </div> <div>supervised by Prof. David Pym and make it clear in your personal state= ment you are </div> <div>applying for the =91ALPUIS' studentship. </div> <div><br> </div> <br> <br> <div> <div style=3D"color: rgb(0, 0, 0); font-family: Helvetica; font-style: nor= mal; font-variant: normal; font-weight: normal; letter-spacing: normal; lin= e-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; t= ext-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -we= bkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; word-wrap: bre= ak-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "= > <div style=3D"color: rgb(0, 0, 0); font-family: Helvetica; font-style: nor= mal; font-variant: normal; font-weight: normal; letter-spacing: normal; lin= e-height: normal; orphans: 2; text-align: -webkit-auto; text-indent: 0px; t= ext-transform: none; white-space: normal; widows: 2; word-spacing: 0px; -we= bkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px; word-wrap: bre= ak-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space; "= > <div> <div>--<br> Professor of Information, Logic, and Security</div> <div>Head of Programming Principles, Logic, and Verification</div> <div>University College London<br> <br> <a href=3D"mailto:d.pym-hclig2XLE9Zaa/[email protected]">d.pym-hclig2XLE9Zaa/[email protected]</a><br> <a href=3D"http://www.cs.ucl.ac.uk/People/D.Pym">www.cs.ucl.ac.uk/People/D.= Pym</a><br> <a href=3D"http://www.cs.ucl.ac.uk/staff/D.Pym/">www.cs.ucl.ac.uk/staff/D.P= ym/</a></div> </div> <div><br> </div> <div><br> </div> </div> <br class=3D"Apple-interchange-newline"> </div> <br class=3D"Apple-interchange-newline"> <br class=3D"Apple-interchange-newline"> </div> <br> </body> </html> --_000_82A853CF3B18486DB97DEE1426D7C6D3uclacuk_--