The positions are available at the Department of Informatics at the University of Bergen and are financed by the Research Council of Norway (NFR) supported project Scientific computing with Algebraic and Generative Abstractions for geophysical problems (SAGA-GEO, http://www.ii.uib.no/saga/).

The SAGA-GEO project is a crossover from theoretical computer science into scientific computing. It explores theoretically founded, new and experimental techniques in software development applied to the solving of problems in computational geophysics. Among techniques employed are formal, algebraic software methods (algebraic specifications), program transformation, coordinate-free numerics, and parallel programming for high performance computing.

We are looking for excellent candidates with a background in one (or more) of programming technology (e.g., formal methods, software transformation, software methodologies), numerical software/scientific computing, computational geophysics, or related areas. An interest in applying theory to practice, software engineering and testing will be appreciated.

• The PhD candidate must hold a Norwegian (or similar) master degree, and is expected to enter a PhD study. The PhD thesis should be submitted for defense within the 3-year period of the position. A plan for the PhD study will be developed in cooperation with the scientists within the project. The position is for 3 years.
• The postdoctor candidate must have achieved a Norwegian (or similar) doctorate, and must have a proven research history. The position is for 2 years.

Starting salary for the PhD position at level 38 (code 1017) on the government salary scale (corresponding to NOK 287.700 per year, about 35.000 Euros/year), following ordinary meriting regulations (wage levels 38-46).

Salary for the postdoctor position will be paid in accordance with level 54 (code 1352) on the government salary scale (corresponding to NOK 378.400 per year, about 45.000 Euros/year).

There are no teaching duties for any of the positions. Knowledge of the Norwegian language is not necessary, but a working knowledge of English is required. The successful applicants must comply with the guidelines that apply to the positions at any time.

The University of Bergen wishes to attain a more equal gender distribution for academic positions. Female applicants are thus strongly encouraged to apply. If several applicants are equally qualified for the position, the internal gender quotas for academic positions will be applied.

State employment shall reflect the multiplicity of population at large to the highest possible degree. The University of Bergen has therefore adopted a personell policy objective to ensure that we achive a balanced age and sex composition and the recruitment of persons of various ethnic backgrounds. Persons of different ethnic backgrounds are therefore encouraged to apply for the position.

The University of Bergen applies the principles of public access to information in connection with appointments to academic positions.

Applications should contain the following

• cover letter including a statement of motivation (relating to the project topics) for the position, and summary of training and experience
• copy of diploma, grades and course descriptions
• CV including list of publications
• publications (including thesis)
• names and contact details of 3 references.

For speed of processing, and to fulfil formal requirements of the hiring process:
Applications (complete sets) must be sent BOTH by

• e-mail to saga-inquire@ii.uib.no (subject: "Positions SAGA-GEO 2005")

• plain mail to Department of Informatics, University of Bergen, Pb. 7800, N-5020 Bergen, Norway (marked with reference number 05/6035).

For more information contact Magne Haveraaen, see http://www.ii.uib.no/~magne/, phone +44 1792 51 3213, or fax +44 1792 295 708.