Universiteit van Amsterdam

Please note that this newsitem has been archived, and may contain outdated information or links.

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, , +47 55587229.

Please note that this newsitem has been archived, and may contain outdated information or links.