[ 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 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 ([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.