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

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 at 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.