[TYPES/announce] Associate Professor Position in Formal Methods at the University of Oslo, Norway

[Einar Broch Johnsen]

Associate Professor Position in Formal Methods Available at the University of Oslo

The Department of Informatics at the University of Oslo, Norway, has available
a position as an associate professor in computer science. The position is
in the wide field of "Software Technology and Information Systems,"
which includes formal methods.

Formal methods research at the University of Oslo is centered around the group
for "Precise Modeling and Analysis." The group's current activity focuses
on research related to formal specification and analysis of distributed systems,
in particular object-oriented and real-time systems. This activity includes
work on associated theory, semantics, tool development,
logics for program verification, rewriting logic, type systems, etc.

*** The application deadline is OCTOBER 2, 2007. ***

Annual salary is currently in the interval 474,600 - 529,600 NOK per year,
depending on qualifications. This corresponds to 60,000 - 67,000 EUR
and 82,000 - 91,000 USD.

How to apply: 
   All information about the application process is given in the
   official job announcement at

http://www.admin.uio.no/opa/ledige-stillinger/2007/vit/2Ass.Prof.MN-07-8778.html


For informal requests about the position and the formal methods group,
feel free to contact

Associate professor Einar Broch Johnsen at einarj at ifi.uio.no,
Associate professor Peter Ölveczky at peterol at ifi.uio.no,  and 
Professor Olaf Owe at olaf at ifi.uio.no