Oslo: PhD Position in Formal Methods for Sensor Networks

[Einar Broch Johnsen]

========================================================
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: ilangkob at ulrik.uio.no, 
associate professor Einar Broch Johnsen, email: einarj at ifi.uio.no, or 
professor Olaf Owe, email: olaf at ifi.uio.no


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: einarj at ifi.uio.no

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.