Email Gateway (Aug 18 2022 at 10:28): Email Gateway (Aug 18 2022 at 10:28):From: Einar Broch Johnsen <einarj@ifi.uio.no>
========================================================
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 325800 - 355200)
(Norwegian LTR scale, depending on qualifications)
Further details
For further information, please contact
Professor Ilangko Balasingham, email: ilangkob@ulrik.uio.no,
associate professor Einar Broch Johnsen, email: einarj@ifi.uio.no, or
professor Olaf Owe, email: olaf@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@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.
Last updated: Nov 21 2024 at 12:39 UTC