PhD position in formal methods for distributed systems, Bergen, Norway

[Thomas Ågotnes]

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.  Salary starts at NOK 353
200 gross p. a. (appr. EUR 40 100 p. a. before tax).  Closing date for
applications is 18 April 2009.

For further details and application procedure, see:
  http://hib.easycruit.com/vacancy/291792/41311

Note that the application procedure has two steps: submit the online
application form, and send materials by post.

Contact: Dr. Thomas Ågotnes, tag at hib.no, +47 55587229


----------------------------------------------------------------------
Thomas Ågotnes
Bergen University College
P.O. Box 7030, N-5020 Bergen, Norway
Tel: (+47) 55587229  Fax: (+47) 55587790
http://home.hib.no/ansatte/tag/  tag at hib.no