[TYPES/announce] 2 PhD positions in Formal Methods at University of Oslo

[Gerardo Schneider]

With apologies for multiple postings.

=====================================================
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 objective of RHYTM is to
further develop the Real-Time Maude tool. Real-Time Maude extends
the rewriting logic-based Maude system to support the formal
specification and analysis of real-time systems. It has been used on 
a set of state-of-the-art applications, including: wireless sensor 
network and scheduling algorithms, and various network communication
and cryptographic protocols. In the RHYTM project, we aim at extending 
Real-Time Maude's modeling analysis capabilities, and to 
apply Real-Time Maude to further advanced applications.  
The project also focuses on extending 
Real-Time Maude to hybrid and probabilistic systems.

More information about Real-Time Maude can be found on the web page
http://www.ifi.uio.no/RealTimeMaude.


Job description
---------------
The candidates are expected to work on extending Real-Time Maude tool
with new analysis capabilities, such as e.g., metric temporal logic
model checking analysis for object-based systems, integrating appropriate
decision procedures, and narrowing analyses. In addition, the tool
should be extended to support formal specification and
analysis of hybrid and probabilistic systems. Finally, the new features
should be validated by applying the tool on advanced state-of-the-art
applications.

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.


The research group for formal methods
-------------------------------------
The Formal Methods group at the Department of
Informatics, University of Oslo, Norway, is working on tools and
languages for object-oriented and component-based software
development. Our current research focus includes

    * formal specification and analysis of real-time systems
    * object-orientation and open distributed systems
    * rewriting logic
    * specification and verification of OO-programs

Our research combines theoretical foundations with the goal to develop
practical tools and languages to capture software adaptability.  The
group's activities include both theoretical, foundational, and
experimental work within formal methods, semantics, and language design.
For more information, see the following web-page:

http://www.ifi.uio.no/forskning/grupper/pma/index_e.html


Terms of employment
------------------- 
The salary and terms at the University of Oslo are in accordance with
Norwegian state regulations. Salary at government pay scale 42-47
(NOK 316.000 - 344.300; currently EUR 39.000 - 44.400 and 
USD 50.500 - 55.000), depending on relevant work
experience. Full salary during illness is paid. Holidays according to
the state regulations.


Further details
---------------
For further information on the position, 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
PO Box 1032 Blindern, N-0315 Oslo, NORWAY
REF 07/2243

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.



-- 
Gerardo Schneider - Dept. of Informatics, Univ. of Oslo
P.O Box 1080 Blindern, N-0316 Oslo, Norway
Phone: +47 22 85 29 71, fax: +47 22 85 24 01
http://folk.uio.no/gerardo/