[TYPES/announce] Postdoctoral position at Bath

[Guy McCusker]

A 36-month postdoctoral research position is available at the University of Bath, to work on the EPSRC-funded project "Algebra and Logic for Policy and Utility in Information Security (ALPUIS)."

Please send informal enquiries to Guy McCusker -- G.A.McCusker at bath.ac.uk -- and make applications via https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=XVH2268

All the best,

Guy McCusker.

---

Research Associate - Computer Science (fixed-term)   https://www.bath.ac.uk/jobs/Vacancy.aspx?ref=XVH2268
Salary: 	Starting from £30,728, rising to £31,664
Closing Date: 	Tuesday 15 April 2014
Reference: 	XVH2268
Applications are invited for a postdoctoral position at the University of Bath as part of the EPSRC-funded projectAlgebra and Logic for Policy and Utility in Information Security (ALPUIS).

As an integral member of the ALPUIS team, you will contribute to an interdisciplinary project combining techniques from theoretical computer science (process algebra, logic) with ideas from economics (utility theory) to develop new methodologies for modeling, analyzing and making decisions about information security policy. The ALPUIS consortium comprises mathematicians, economists and policy experts from the University of Bath, University College London, the University of Aberdeen and the University of Exeter. The ideal candidate will bridge between the mathematical theory and realistic examples, producing models that reflect the theoretical development and can scale to describe and address questions of significance in security policy.

Candidates should have, or shortly be expected to complete, a PhD in an area of relevance to the project. Expertise in the use of logical methods to describe and reason about the behaviour of processes or agents would be particularly desirable.

Interviews will be held in April

This is a fixed term post for 36 months