Ph.D. position at Chalmers Univ., Sweden in Formal Methods/Dependable Computing

[Reiner Hähnle]

Ph.D. position at Chalmers in Formal Methods/Dependable Computing
=================================================================

Application deadline January 11, 2008. Reference number 2007/178

The Department of Computer Science and Engineering of Chalmers University 
is offering a Ph.D position. The Department provides strongly 
international and dynamic research environments with 75 faculty and 75 PhD 
students from over 30 countries. For more information, see 
http://www.chalmers.se/cse/EN/.

The Ph.D. student will be part of the Formal Methods research group. The 
position is located in the CEDES project (Cost Efficient Dependable 
Electronic Systems, a joint project in collaboration with Volvo Car 
Corporation, Volvo AB, Autoliv Electronics AB, and SP Technical Research 
Institute of Sweden. CEDES aims at developing techniques and methods to 
design and build cost efficient, dependable automotive electronics, see 
http://www.cedes.se/.

The research work in the advertised Ph.D. position will concentrate on 
using formal methods for automated location of fault injection points in 
safety-critical software written in C, partly supplied by the industrial 
project partners. It will include experiments with the KeY tool, a 
state-of-art verification and test generation tool partially developed at 
Chalmers (http://www.key-project.org/). The KeY tool supports Java and C 
as target languages. Its C front end will have to be extended and 
specifically instrumented as part of the envisaged research.

Applicants
----------

  * shall have a Master Degree or corresponding (sw. civilingenjörsexamen)
    in Computer Science and Engineering, Electrical Engineering, Physics
    Engineering or an equivalent degree. You may even apply if you have not
    yet completed your degree, but expect to do so by 1 February 2008.

The applicant should possess as many of the following qualifications as 
possible:

  * programming skills in Java and C
  * interest in both formal methods and dependable computing
  * experience with program analyses and/or compilation technologies
  * documented capability of doing research (e.g., with a research-oriented
    MS thesis or a first paper)
  * good communication skills; as the project is done in collaboration with
    the Swedish industry, it is necessary to learn Swedish to the extent of
    being able to read technical documentation
  * high motivation and a genuine interest in the area of the project

In order to improve gender balance, Chalmers welcomes in particular 
applications from female candidates.

Details about employment
------------------------

Ph.D. student positions are limited to five years and normally include 20 
per cent departmental work, mostly teaching duties. Salary follows 
Chalmers' general agreement for Ph.D. student positions.

Further information
-------------------

Deputy Head of department, Pro-Prefect for Postgraduate Studies and CEDES 
project leader:
Reiner Hähnle, tel. +46 31-772 1061, email: reiner at chalmers.se

How to apply
------------

The full application should contain:
1. A letter of application with the reference number 2007/178 stated,
    listing specific research interests
2. A curriculum vitae
3. Copies of relevant work, for example your M.Sc-thesis, dissertation, or
    any articles, that you have authored or co-authored
4. Letters of recommendation from your teachers or employers.

Closing date for the application is January 11, 2008.

The application should preferably be sent by email to:

  registrator at chalmers.se

or else by surface mail to:

  Registrator
  Chalmers University of Technology
  SE-412 96 Göteborg, Sweden
  Phone via Chalmers exchange: +46 31 772 10 00
  Fax of registrator: +46 31 772 49 22

All applications *must* be sent to the registrator with reference number 
2007/178, otherwise they cannot be processed!

Union representatives
---------------------

SACO Jan Lindér
ST-ATF Marie Wenander
SEKO Ralf Berndtsson
All reachable via Chalmers exchange: +46 31 772 10 00

--
( Reiner H"ahnle                     Phone:       +46-31-772-1061 )
) Professor of Computer Science      Email:    reiner at chalmers.se (
( Chalmers University of            `Nichts,                      )
)  Technology                               Niemand,              (
( Department of Comp. Science & Engg.               Nirgends,     )
) 412 96 Gothenburg, Sweden                                  Nie' (
( http://www.cs.chalmers.se/~reiner               -- Arno Schmidt )