[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
======================================================== Oslo: PhD Position in Formal Methods for Sensor Networks ======================================================== 1 PhD position available at the Interventional Centre at Rikshospitalet and the Department of Informatics, University of Oslo within the research project: CONNECT: Active Behavioral Interfaces for Seamless Network Integration The main objective of the CONNECT project is to develop a framework for the modeling and analysis of heterogeneous networks in which devices may connect seamlessly in a semantically meaningful way. The project involves an extended case study of biomedical sensor networks for patient monitoring. More information on the CONNECT project can be found at the following webpage: http://www.ifi.uio.no/forskning/grupper/pma/connect The candidate is expected to work on the design and application of behavioral interfaces as a construct for seamless adaptation in heterogeneous networks. The candidate will collaborate closely with the staff at the Interventional Centre at Rikshospitalet in the development of a case study on heterogeneous nets for patient monitoring. The candidate is also expected to participate in the development of a formal model for active behavioral interfaces and on techniques for validating objects with respect to active behavioral interfaces, in collaboration with researchers at the Department of Informatics. The candidate should have a background in either software engineering, concurrency, and formal methods, or in signal processing and sensor networks, and will be expected to acquire knowledge in the other discipline. The PhD candidate should have at least a master degree in computer science. Terms of employment ------------------- The position is available for 3 years from August 1, 2007, or as soon as possible after this date. Pay grade: 43-48 (NOK 325 800 - 355 200) (Norwegian LTR scale, depending on qualifications) Further details --------------- For further information, please contact Professor Ilangko Balasingham, email: [EMAIL PROTECTED], associate professor Einar Broch Johnsen, email: [EMAIL PROTECTED], or professor Olaf Owe, email: [EMAIL PROTECTED] How to apply ------------ Applications must include complete information about education at both bachelor and master level, and documented scientific experience. All employees must satisfy the entrance requirements for the doctoral degree programme at the Faculty of Mathematics and Natural Sciences. Women are especially encouraged to apply. To apply, please send a statement of your interest, together with curriculum vitae, and complete information about your education (both bachelor and master level) with transcripts of grades, job experience, scientific publications, and at least two academic references (name, email, and phone no), and possibly a list of publications to University of Oslo, Faculty of Mathematics and Natural Sciences att. Grete Andresen (ref 07/5502) PO Box 1032 Blindern, NO-0315 Oslo, NORWAY Applications may also be submitted electronically to Einar Broch Johnsen, email: [EMAIL PROTECTED] Deadline for applications: June 1, 2007 The formal announcement of the position is available from http://heim.ifi.uio.no/~einarj/ConnectStip2.pdf Application papers will not be returned, with the exception of original publications.