[DMANET] 36 month postdoc position at Bath

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@bath.ac.uk -- and make applications viahttps://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
**********************************************************
*
* Contributions to be spread via DMANET are submitted to
*
* DMANET@zpr.uni-koeln.de
*
* Replies to a message carried on DMANET should NOT be
* addressed to DMANET but to the original sender. The
* original sender, however, is invited to prepare an
* update of the replies received and to communicate it
* via DMANET.
*
* DISCRETE MATHEMATICS AND ALGORITHMS NETWORK (DMANET)
* http://www.zaik.uni-koeln.de/AFS/publications/dmanet/
*
**********************************************************