Salary: Starting from £30,728, rising to £31,664

Closing Date: Tuesday 15 April 2014

This is a fixed term post for 36 months

Interviews will be held in April

Reference: XVH2268

Applications are invited for a postdoctoral position at the University of Bath as part of the EPSRC-funded project Algebra 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.

Email details to a friend

Further details:

• Job Description & Person Specification

• Terms of Employment