PhD position-University of Oslo in Formal Methods

September 30, 2007

Sponsored Links

Career Blog

The Wisconsin Idea Scholarship, University of Wisconsin–Madison

Online Distance Learning Courses for International Students

For further information on the position, please contact
Associate Professor Einar Broch Johnsen, email einarj@ifi.uio.no,
Associate professor Peter Ölveczky, email peterol@ifi.uio.no, or
Professor Olaf Owe, email olaf@ifi.uio.no
The salary and terms at the University of Oslo are in accordance with Norwegian state regulations. Salary starting at government pay scale 43-48 (NOK 325 600 – 355 000, depending on relevant work experience. Full salary during illness is paid. Holidays according to the state regulations.
Reference number: 07/11108
Closing date for applications: 18 October 2007
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.
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
Make sure that your application specifically mentions “REF 07/11108″
Applications may also be submitted electronically to
grete.andresen@matnat.uio.no
In addition, an electronic copy of the application should be sent to all the three professors mentioned above.
Application papers will not be returned, with the exception of original publications.

Job Description

PhD Position in Formal Methods
The Formal Methods group at the Department of Informatics, University of Oslo, has available one PhD position.
* The position has a duration of 4 years with 25% compulsory work (teaching)
* The position is available as soon as possible
* The applicants should 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.
The research project aims at combining the two main activities of the formal methods group (http://www.ifi.uio.no/forskning/grupper/pma/) by extending the Creol system (http://heim.ifi.uio.no/~creol) to real-time systems. The PhD candidate will be supervised jointly by Professor Olaf Owe and Associate Professors Einar Broch Johnsen and Peter Ølveczky.
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 object-oriented programs

Full Details Here

http://ec.europa.eu/eracareers/index_en.cfm?l1=1&l2=1&l3=1&idjob=21245627&CFID=7810534&CFTOKEN=2afddce7fd8452d7-A5BBB580-D643-347D-8C1776D0B19B4538

Scholarship