Assistant Professor in Computer Science with a focus on Model-based Real-time Communication Architecture
- a full-time employment for two years from August 2017, or as soon as possible thereafter.

Funding and Context
The position is funded by the AstaMoCA and ELLIIT projects. AstaMoCA is a joint project between Halmstad University, the AstaZero vehicle safety testing facility, and Volvo Truck Group. This project is funded by the Swedish Knowledge Foundation (KKS). ELLIIT is a strategic research environment funded by the Swedish government in 2010, as part of its initiative to support strong research in information technology and mobile communications.  ELLIIT has four partners: Linköping University, Lund University, Halmstad University and Blekinge Institute of Technology.   ELLIIT constitutes a platform for both fundamental and applied research, and for cross-fertilization between disciplines and between academic researchers and industry experts. ELLIIT stands out by the quality and visibility of its publications, and its ability to attract and retain top talented researchers, and aims at being recognized as a top international research organization.

Research focus
The focus of this position is on research on rigorous numeric and symbolic methods for the design-time analysis of cyber-physical systems, including computational, physical, communications, and distributed systems aspects. The work is to balance theoretical and experimental aspects, and to further ongoing activities in this direction at Halmstad University. The research is to address industrial problems including automotive safety testing, autonomous driving software validation, real-time communication infrastructure, and mixed-signal sensing/communication devices. In additional to publication, the results should be disseminated through the development of new educational content.

Principal duties
The selected candidate will be performing research in a vigorous and international research environment at the School of Information Technology (ITE) at Halmstad University. The research project will be carried out in collaboration with leading industrial and academic research groups.

As an Assistant Professor you are expected to take primary responsibility for the day-to-day operations of the research and of teaching at both undergraduate and graduate levels. The teaching load will be about 20% of the time (roughly two courses in a year). Research activities will include designing, implementing, testing, and evaluating rigorous modeling and simulation tools (primarily reachability analysis of hybrid systems) and applying these tools to the design and evaluation of various cyber-physical designs. This will involve the development of high quality software engineering artifacts for reasoning about set-based and distribution based uncertainty in communication systems. In terms of teaching, you will take responsibility for two courses.  Initially, it is desirable that one of these courses would be our Masters level course on Embedded and Real-time Systems, which is currently taught from Lee and Seshia’s textbook. More broadly, we expect you to take an active part in the continued development of the School of Information Technology, and that you work to develop your own independent and externally funded research program.

Regulations
According to the Higher Education Ordinance 4 Chapter 12a §, the post of Assistant Professor (Biträdande Lektor) is a qualifying appointment with the purpose to give the employee a possibility to develop her or his independence as a researcher and to obtain merits that can lead to a competence for another post with higher eligibility requirements . An Assistant Professor shall mainly be engaged in research, but teaching may also be a part of the assignments. The post can be renewed up to a maximum of four years. After the four years, an Assistant Professor may be promoted to a post with conditional tenure as Associate Professor (universitetslektor). To qualify for this promotion, the Assistant Professor must have done independent research; taken part in the supervision of doctoral students, and through participation in and development of the education has reached competence up to a docent’s level.

Qualification
The position is intended for someone with a PhD degree in Computer Science, Computer Engineering, Electrical Engineering, Control Engineering, or closely related fields. Desirable skills include research expertise in programming languages (semantics, design, implementation, evaluation), software engineering (including validation and verification), probability and measure theory, and control theory. The research track record should demonstrate excellence in research in one of the above-mentioned areas. Experience in experimental research with cyber-physical systems, free software development, formal verification, functional programming, and theorem proving would strengthen qualifications. A track record of teaching or tutoring is required.

Salary
Salary is to be settled by negotiation. The application should include a statement of the salary level required by the candidate.

Application
Application via MyNetwork.

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 goals are well-matched with the goals of this position, together with a description of future research plans
2. An attested 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) A maximum of 8 publications
4) Contact information for at least three references.

General Information
The working language is English and no knowledge of Swedish is required to start working at the University. Also for daily life, English is spoken widely and Sweden has the highest English Proficiency index in the world. Of course, it’s advisable that the employee learn Swedish. Both the University and the local government provide extensive facilities.

Read more about Halmstad University at: http://hh.se/en-US/omhogskolan.10.html

Type of employment Visstidsanställning längre än 6 månader
Contract type Full time
Number of positions 1
Working hours 100%
City Halmstad
County Hallands län
Country Sweden
Reference number 2017/56
Contact
  • Walid Taha, Department Head, 035-167619
  • Magnus Clarin, Dean, 0703062621
  • Theres Erixon Larsson, HR Adminstrator, 035-167381
Union representative
  • Kristina Hildebrand, Saco-S, 070-7721015
  • Kristina Holmberg, OFR/s, 035-167925
Published 16.May.2017
Last application date 31.Aug.2017 11:59 PM CET

Tillbaka till lediga jobb