[TYPES/announce] PhD Position in Formal Methods and Security at the University of Oslo

[Peter Csaba Ölveczky]

The Department of Informatics, University of Oslo, has an opening
for a Ph.D. position in formal methods.

** Application deadline: April 20, 2014.
** Salary: NOK 421 100  (currently 51,000 EUR or 71,000 USD) per year
** The applicants should preferably have completed a Master's degree
      (or similar), or being on the verge of completing one.
** The candidate should preferably have a background in formal methods.

The Ph.D. research project focuses on designing, formalizing, and
formally verifying seamless and continuous user authentication
architectures.  A key part of the project is the development of formal
analysis methods for security ceremonies.  The project is a joint
project between the formal methods group and experts on computer
security.  
  
The fellowship is for a period of up to 4 years, with 25 % compulsory work,
and should lead to a PhD thesis at the University of Oslo

The PhD candidate will be jointly supervised by Professors Peter
Ölveczky, Audun Jøsang, and Olaf Owe (see contact details below). 

Information about how to apply is given in the following link:

http://uio.easycruit.com/vacancy/1149293


Further details
---------------
For further information about the position, informal requests, etc., please contact

Professor Peter Ölveczky, email peterol AT ifi.uio.no
Professor Audun Jøsang, email audun.josang AT mn.uio.no
Professor Olaf Owe, email olaf AT ifi.uio.no


How to apply
------------
As mentioned, all information about how to apply can be found at

http://uio.easycruit.com/vacancy/1149293

(it seems that one applies electronically by clicking on the "Institutt for
informatikk" link below "Choose department to apply" in the lefthand
side of the web page).

The application should include:

--    Application letter
--    CV (summarizing education, positions and academic work - scientific publications)
--    Copies of educational certificates, transcript of records and letters of recommendation
--    Documentation of English proficiency (if needed)  
--    List of publications and academic work that the applicant wishes
             to be considered by the evaluation committee (if any; no
             problems if there aren't any)
--    Names and contact details of 2-3 references (name, relation to candidate, e-mail and telephone number)
--    Foreign applicants are advised to attach an explanation of their University’s grading system.