[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

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 [EMAIL PROTECTED],
Associate professor Peter Ölveczky at [EMAIL PROTECTED],  and 
Professor Olaf Owe at [EMAIL PROTECTED]



Reply via email to