PhD position in Computer Science and Engineering (4 of 4)

PhD Position in Computer Science and Engineering with a Focus on Embedded and Cyber-Physical Systems.

Halmstad University announces the availability of four Ph.D. positions in Computer Science and Engineering in the Center for Research on Embedded Systems, CERES (http://ceres.hh.se/).

Position Description:
The selected PhD students will be responsible for conducting research to address fundamental problems in the domains of embedded and cyber-physical systems, with a particular focus on practical challenges arising with autonomous driving functions.

The specific goals for this project are as follows:

Rigorous Simulation: The overarching goal of this work is to develop the foundations for next-generation modeling and simulation technologies. This work continues the development of the Acumen hybrid-systems modeling language. Specific goals include extending rigorous simulation semantics to support probabilistic systems, allowing more non-determinism in models, improving the accuracy and performance of solvers, and demonstrating applicability to industrial relevant problems. Evaluation criteria for candidates will include knowledge and experience in the areas of programming language semantics, programming language implementation, differential equations, hybrid systems reachability analysis, probability theory, validated numerical methods, modeling & simulation of cyber-physical systems, and open source software development. For more information on this position please contact Professor Walid Taha (walid.taha@hh.se).

Principal duties:
The selected PhD student will be responsible for conducting research within the CERES research center (http://ceres.hh.se/), participating in the required learning activities, and will also have a teaching responsibility (20% of full time teaching). The four positions are funded by the ELLIIT multi-university strategic research environment (https://liu.se/elliit) and by Halmstad University. Positions are renewed annually subject to satisfactory progress. The four doctoral students will be involved in joint research collaborations with Blekinge Institute of Technology, Linköping University, and Lund University.

Qualification:
The positions require having a Masters degree in Computer Science or Engineering, Electrical Engineering, Computer Communications, Signal Processing, Communications Engineering, or a related field. In addition, the criteria described for the individual positions above will be applied for evaluation.

Salary:
Doctoral students are employees of the University and paid a salary according to a uniform salary scale, adjusted in relation to the progress in education and the first step is SEK 25 000 before taxes.

Application:
Applications should be sent via Halmstad University's recruitment system MyNetwork (see link on this page). The last day to apply for the position is 2017-04-17.

The application package shall consist of:

1. a cover letter stating the purpose of the application and a brief statement of why you believe that your background and goals are well-matched with the goals of this position,

2. a CV that includes at least

- a list of previous degrees, dates, and institution, transcripts for higher-education studies until most recent available
- a complete list of publications and a description of previous research and other work experience and links to online copies of the most important publications

3. copies of previous transcripts and degrees,

4. a copy of previous publications, if any, and

5. contact information for three references.

General Information:
Halmstad University is a young university in the popular coastal resort town of Halmstad. The University has roughly 600 employees and 5 000 full time students and education on all levels, from undergraduate to Ph.D. education. The University is well known for research carried out in cooperation with industry, for innovation, and for entrepreneurship.

English is widely spoken in Sweden and is sufficient for starting employment. Support for learning Swedish is available, and speaking Swedish facilitates important aspects of life, such as interacting with government authorities and society

Halmstad can be reached by a direct train connection from the Copenhagen Kastrup and Göteborg-Landvetter airport. Sweden is well known for a very high quality of life and excellent social care facilities. There are excellent (incl. international) schools and daycares around, as well as various recreational and entertainment facilities.