Logic List Mailing Archive

PhD student position in Formal Methods for distributed systems, Bergen (Norway), Deadline: 18 April 2009

PhD 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.  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@hib.no, +47 55587229