PhD Student position

PhD Student position in Model-based design of Embedded real-time systems

Work description:
Embedded systems are often operating under real-time constraints, e.g. in control applications. To deal with the increasing complexity of such systems, methodologies for model-based design are in great demand. The EIS architecture group at EISLAB, Luleå University of Technology, performs research on design methodologies, tools, and realizations of Embedded Internet Systems. Key to our research is the concept of reactivity; reactivity in the sense that a system reacts to events, either internal to the system or caused by its environment. This is manifested through the modeling paradigm of the Timber language with the ultimate goal of low-power, robust, scalable, distributed systems with formally established real-time properties.

Work tasks:
As a PhD candidate you will design and evaluate methodologies for model-based design of embedded real-time systems, e.g.:
- specification and modeling;
- simulation and analysis;
- optimization and implementation.

The work will be conducted in the context of wireless real-time control applications.

Qualifications:
- Master of Science / Civilingenjör, Computer science, Electrical Engineering (D,E) or similar.
- Experience of object-oriented and functional programming.
- Experience of computer engineering and computer communication.
- You need to be analytical, flexible, autonomous, and able to work in groups.
- Fluent in English.