Email Gateway (Aug 18 2022 at 10:51): Email Gateway (Aug 18 2022 at 10:51):From: Einar Broch Johnsen <einarj@ifi.uio.no>
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@ifi.uio.no,
Associate professor Peter lveczky at peterol@ifi.uio.no, and
Professor Olaf Owe at olaf@ifi.uio.no
Last updated: May 03 2024 at 12:27 UTC