[TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo, Deadline: 1. November

[Martin Steffen]

The Department of Informatics at the University of Oslo, Norway, announces
two  vacant  PhD. Positions, both in the field of Formal Methods.

============================================================

  o one in the group for "Precise Modeling and Analysis."

  o one at the Interventional Centre at Rikshospitalet, in cooperation
    with the group for Precise Modelling and Analysis.

============================================================

   *** The application deadline is 1. NOVEMBER 2007. ***

============================================================



Information about the 2 positions, the focus of the research group, the
terms of employment, the application procedure, ... can be found via

   http://www.ifi.uio.no/forskning/grupper/pma/index_e.html

which links the two official announcements.

For further informal requests about the position and the formal methods
group, feel free to contact

Associate professor Einar Broch Johnsen (einarj at ifi.uio.no),
Associate professor Peter Ölveczky      (peterol at ifi.uio.no),  and 
Professor Olaf Owe ( olaf at ifi.uio).


For information about the Interventional Centre, you may contact:

Professor Ilangko Balasingham (ilangkob at ulrik.uio.no)


It is possible, to apply for both positions at the same time. In this case,
it is necessary to hand in ``shared'' information (CV and similar) only
once. In any case, the application letter should indicate, for which
positions the application is meant, referring to resp. reference numbers
mentioned in the position announcements.