[TYPES/announce] PhD position in Formal Methods at the University of Oslo

[Gerardo Schneider]

=====================================================
Apologies for multiple posting
Please, pass the information to whom may be interested
=====================================================

                    Open Position

         PhD position in Formal Methods

The group for Precise Modeling and Analysis (PMA) at the Department of  
Informatics, University of Oslo,
Norway, is working on formal methods,  tools and languages for object- 
and contract-oriented software 
development. Our current research focus includes

  * object-orientation and open distributed systems
  * specification and verification of OO-programs
  * language support for openness and distribution with applications to 
Internet
  * rewriting logic
  * model checking and security

Our research combines theoretical foundations with the goal to develop  
practical tools and languages
to capture software adaptability.
See http://www.ifi.uio.no/forskning/grupper/pma/index_e.html for more 
information about the group.

There is one PhD position available at the group, funded by Nordunet3 
(http://www.nordunet3.org/) to work on the project:
 
*"Contract-Oriented Software Development for Internet Services"*

The project comprises the following research topics: formal definition 
of contracts by using a timed extension of rewriting logics; the 
integration of contracts in a programming language being developed at 
the PMA-group; syntactic and semantic extension of the language with 
timing constraints and model checking.

We are looking for candidates with relevant background in at least one 
of the following areas: formal modelling, semantics, timed automata, 
security and model checking. She/he must have a good education
on theoretical aspects of computer science, including logics, or 
mathematics.
Knowledge on open distributed systems, theory of object-orientation 
and/or Maude is a plus. The candidate must be willing to work both in 
theory and implementation (using high-level languages, e.g. Maude and 
model checkers).
Applicants should have a BSc or MSc degree in an appropriate discipline.

* The position is for 4 years and it comprises some teaching obligations.
* The position is available from 1st September 2006.
* Applications must be received by *June 25, 2006*.
* Salary at level 42 of the Norwegian pay scale  for the first year 
(307.100 NOK per year -approx. 39.200 Euros). This amounts to approx. 
25.000 NOK (3.200 Euros) per month before taxes. Taxes depend on 
personal family situation; considering the standard of 30 to 35%, the 
salary would be about 17.500 to 16.250 NOK (approx.  2.240 to 2.080 
euros) per month, after taxes. The salary increases about 10.000 NOK 
(before tax) per year for the second and third year. Salary includes 
standard Norwegian social and health insurance and contribution to 
retirement.

Applications consists of a CV, which must include complete information 
about education at both bachelor and master level, documented scientific 
experience, and at least two academic references (name, position, e-mail
and telephone number). Good knowledge of English is mandatory.

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. 

Applications must be submitted electronically to Prof. Olaf Owe (olaf at 
ifi.uio.no) with copy to Gerardo Schneider (e-mail: gerardo at 
ifi.uio.no). Pls write "PhD application: Nordunet3 project" as the 
e-mail subject when applying. Use the above e-mail addresses for any 
informal query about the position.
==================================================================

-- 
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/

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20060529/b0b8f7a9/attachment.htm