[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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


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 ([EMAIL PROTECTED]),
Associate professor Peter Ölveczky      ([EMAIL PROTECTED]),  and 
Professor Olaf Owe ( [EMAIL PROTECTED]).

For information about the Interventional Centre, you may contact:

Professor Ilangko Balasingham ([EMAIL PROTECTED])

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.

Reply via email to