PhD student position in Formal Methods for distributed systems, Bergen (Norway)

At Bergen University College, Bergen, Norway, there is an open position for a PhD student, as a fully employed research fellow, in formal methods for distributed systems. The research project will be to employ formal methods, in particular multi-agent logics and/or category theory, to model and analyse aspects of grid computing systems.

The position is full-time for four years. Closing date for applications is 18 April 2009. For further details and application procedure, see: http://hib.easycruit.com/vacancy/291792/41311 or contact: Dr. Thomas Ågotnes, tag at hib.no, +47 55587229.