Duties
We are looking for a Doctoral student to start working in the area of formal analysis of safety and fault tolerance. Current trend in development of safety-critical systems aims for higher flexibility and efficient deployment of assemblies of software (or configurable hardware) components. Digital components can be implemented with well-defined interfaces for composition and analysed pre or post-integration. A major challenge is to analyse the system level safety and fault tolerance properties using the contracted interfaces from the components. Formal analysis of such properties requires development of tools and techniques for qualitative as well as quantitative analysis of assemblies in terms of risk of violation of system safety. This position requires a strong mathematical background including discrete mathematics and probabilistic modelling as well as programming skills and analytical abilities.
Qualifications
As a doctoral student you must be eligible for doctoral studies which generally require an excellent degree in computer science or engineering or information technology. In addition attaining the above positions requires:
- relevant courses with excellent grades in the above named areas
- fluency in written and spoken English
- experience in independent project work as well as ability to work in a team
Earlier research experience, e.g. as part of Masters studies will be considered as a merit.
Equal opportunities
Linkoping University shall continue to develop as an attractive and creative work place characterized by equal opportunities, and therefore works actively to promote diversity and gender equality.
A majority of Doctoral students within the department are men, which is why precedence will be given to woman in cases where qualifications are deemed otherwise equivalent.
Appointment time
A doctoral student spends more than 80% of the time on research and doctoral studies. Teaching and administration duties can make up to 20% of the total employment. The full time study period is four years with an option to take a Licentiate degree half way towards the end, which is normally five calendar years including teaching. Contracts are renewed on an annual basis subject to progress in the doctoral studies.
Starting date
Mars 2010.
Salary
The salary for a Doctoral student is set after a local salary progression. Please specify the expected salary level in your application.
Information
Professor Simin Nadjm-Tehrani, phone +46 13 282411 (snt@ida.liu.se)in connection with project and topic specific questions. Director of graduate education Professor Petru Eles, phone +46 13 281396 (petel@ida.liu.se) in connection with course program and doctoral studies in general. Dr. Lillemor Wallgren in connection with formal application procedures, phone +46 13 281480 (lew@idaliu.se). Union representatives Örjan Lönnevik, (SACO), phone +46 13 286634 (orjlo@ifm.liu.se), and Gabriel Thott, (OFR/S), phone +46 11 363171 (gabriel.thott@isak.liu.se).
Application procedure
Your application marked with the Registration number IDA-2009-00161, accompanied by all documents you may wish to refer to, must reach the University no later than 2009-12-15 at the following address:
Linköpings universitet
IDA
Registrator
SE-581 83 Linköping
Sweden
or e-mail: registrator@ida.liu.se
http://www.liu.se/en/job/show.html?3139
The following documents are required:
- a personal letter describing your aptitude for obtaining a Doctoral position in the above areas, and your motivation for applying to the position
- your CV, list of completed courses in earlier degrees together with the grades
- letters of recommendation from earlier employers or reference persons
- the special application form available from www.ida.liu.se/edu/grad/studies/positions or via Lillemor Wallgren (lew@ida.liu.se)
Documents that are sent electronically shall be in the formats MS Word or pdf.
Applications submitted too late will not be considered.
Back to PhD Scholarships Information
Back to Scholarships Information