Assistant professor in Computer Science

Halmstad University, School of Information Technologyi / Fysikjobb / Halmstad
Observera att sista ansökningsdag har passerat.


Visa alla fysikjobb i Halmstad, Laholm, Båstad, Falkenberg, Ängelholm eller i hela Sverige
Visa alla jobb hos Halmstad University, School of Information Technologyi i Halmstad

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

Varaktighet, arbetstid
100%. Tillträde: 2017-08-01 or according to the agreement Visstidsanställning

Publiceringsdatum
2017-05-16

Ersättning
Fixed salary

Så ansöker du
Sista dag att ansöka är 2017-05-30
Ange följande referens när du ansöker: 2017/56
Klicka på denna länk för att göra din ansökan

Kontakt
Walid Taha, Department Head 035-167619
Magnus Clarin, Dean 0703062621
Theres Erixon Larsson, HR Adminstrator 035-167381

Företag
Halmstad University, School of Information Technologyi

Adress
Halmstad University, School of Information Technologyi
Kristian IV:s väg 3
30118 Halmstad

Kontorsadress
Kristian IV:s väg 3

Jobbnummer
3501294

Observera att sista ansökningsdag har passerat.

Prenumerera på jobb från Halmstad University, School of Information Technologyi

Fyll i din e-postadress för att få e-postnotifiering när det dyker upp fler lediga jobb hos Halmstad University, School of Information Technologyi: