Logic List Mailing Archive

Two PhD student positions in Formal Methods (Computer Science), Oslo (Norway)

=====================================================
University of Oslo: 2 PhD Positions in Formal Methods
=====================================================

The Formal Methods group at the Department of Informatics,
University of Oslo, has available 2 PhD positions.

* The position is available from July 1, 2007, or as soon as
  possible after this  date.
* The applicants should preferably have completed a Master's degree
  (or similar) by the starting date.
* The candidate should preferably have a background in formal methods,
  concurrency and distributed systems, real-time systems,
  probabilistic systems, or hybrid systems.
* Applications must be received no later than April 20, 2007.

The position is within the research project RHYTM
"High-Level Formal Modeling and Analysis of Real-Time and Hybrid Systems,"
funded by the Research Council of Norway.
The project focuses on developing rewriting-based techniques and
tools to formally
model and analyze different kinds of real-time systems, such as
 hybrid and probabilistic real-time systems.

Each position is for 3 years, and should lead to a PhD thesis
at the University of Oslo. There may be opportunities for research
stays abroad.


Terms of employment
-------------------
The salary and terms at the University of Oslo are in accordance with
Norwegian state regulations. Salary is in the range NOK 316.000 - 344.300
(currently EUR 39.000 - 44.400 and USD 50.500 - 55.000) per year,
 depending on relevant work experience.


Further details
---------------
For further information, please contact

Associate professor Peter lveczky, email peterol AT ifi.uio.no,
Professor Olaf Owe, email olaf AT ifi.uio.no, or
Researcher Gerardo Schneider, email gerardo 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, 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/2243)
PO Box 1032 Blindern,
NO-0315 Oslo, NORWAY


no later than April 20, 2007.

Make sure that your application specifically mentions "REF 07/2243"

Applications may also be submitted electronically to
grete.andresen@matnat.uio.no

In addition, an electronic copy of the application should be sent to
Peter  lveczky at e-mail peterol AT ifi.uio.no.