Ph.D. position in the field of 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 Department of Computer Science and Engineering
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.
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. 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.
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 preferably possess the following qualifications:
– 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)
– 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.
Deputy Head of department and Pro-Prefect for Postgraduate Studies Reiner Hähnle
tel. +46 31-772 1061, email: [email protected]
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: [email protected]
or else by surface mail to:
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!
SACO Jan Lindér
ST-ATF Marie Wenander
SEKO Ralf Berndtsson