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

Thomas Ågotnes tag at hib.no
Fr Apr 10 11:25:27 CEST 2009


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






Mehr Informationen über die Mailingliste IFI-CI-Event