Ph D position

Eislab is seeking candidates for Ph.D.positions

EISLAB, a division of the department of Computer Science and Electrical Engineering at Luleå University of Technology, Sweden, has PhD students positions available within the research areas of Industrial Electronics and Embedded System.


For more information about the group, please visit www.ltu.se/eislab.

The research project is:

Program analysis and verification - ref no.1659-09
It is vital that software developed for embedded systems can be executed under limited time and memory constraints.Guarantees of such a safe execution may be derived at compile-time by means of rigorous methods of static program analysis and verification.EISLAB is looking for a PhD candidate to pursue research in static analysis of object-oriented, reactive, functional programming language Timber.The research will cover theoretical studies, development of analysis techniques, as well as implementing experimental software.

Candidates should have background in computer science or computer engineering.

Researchers to contact for further information are Dr.Pawel Pietrzak <http://www.ltu.se/csee/misc/staff/pawpie> or Prof.
Application procedure
The application should include:

* A curriculum vitae.
* University transcripts (tests/grades record).
* Contact details of at least two references.