[Norway] PhD Position in Formal Methods at University of Oslo
POSITION AS PhD in Formal Methods
available at the Formal Methods group at the Department of Informativs, University of Oslo.
- 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
Our research combines theoretical foundations with the goal to develop practical tools and languages to capture software adaptability. The group’s activities include both theoretical, foundational, and experimental work within formal methods, semantics, and language design.For more information, see the following web-page:http://www.ifi.uio.no/forskning/grupper/pma/index_e.html
The purpose of the PhD position is research training leading to the successful completion of a doctoral degree. The fellowship requires admission to the research-training programme at the Faculty of Mathematics and Natural Sciences. Firstly, applicants must have obtained undergraduate (BSc level or equivalent) and postgraduate (MSc level or equivalent) qualifications. Together this should represent approximately five years of full time study after the completion of European Upper Secondary School or International Baccalaureate. For more information see:
http://www.matnat.uio.no/forskning/utdanning/english/phd_programme_presentation.html
Appointment to a research fellowship is conditional upon admission to the research training programme. An approved plan for the research training must be submitted no later than one month after taking up the position, and admission approved within three months. For more information see:
http://www.uio.no/admhb/reglhb/personal/tilsettingvitenskapelig/ansettelsesvilkar/guidelinesresearchfellowship.xml
The University of Oslo wishes to achieve a more equal distribution of scientific employees between the genders. Female applicants are encouraged to apply.
UiO has an agreement for all employees, aiming to secure rights to research results a.o.
For further information on the position, please contactAssociate Professor Einar Broch Johnsen, e-mail: einarj@ifi.uio.no, Associate professor Peter Ölveczky, e-mail: peterol@ifi.uio.no, or Professor Olaf Owe, e-mail: 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.
Closing date for applications: 1 November 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.
