Postdoctoral researcher in Computer Science - Hiring in process/Finished, not possible to apply

Recent growth in the research activities and the well-established educational programs of the School of Information Technology (ITE) is enabling a significant expansion. In 2017 the total research expenditures where over 67 MSEK and the school had over 800 students. Over the next three years, the School will grow significantly.

Description

This announcement is for a Postdoctoral research position in Computer Science (Hybrid Systems Modeling Languages) for one year, renewable for a second year. The position is intended to contribute to the research activities of the School of Information Technology (ITE) at Halmstad University. The position starts from January 1st, 2019 or as soon as possible thereafter.

Duties

This is a one year position renewable to two positions based on mutual agreement. Duties will include both research and teaching components. The candidate researcher for this position will work closely with the project leader to build and analyse a new implementation of a hybrid systems modeling language. The new implementation will be built using the Julia programming language.

First, property-based driven testing infrastructure will be established for the intended full-scale system.

Second, simplified syntax will be developed with the aim of facilitating good error reporting and user feedback while ensuring more reliable and efficient parsing.

Third, a web-based interface will be developed and tested extensively to ensure ease of use for inexperienced users. The implementation should support recording of generated plots and 3D animations in a reliable and convenient manner (for example using Jupyter).

Fourth, the core engine of the language will be redesigned and implemented in Julia, with particular emphasis on automated testing and ease of gather analytics about usage and availability of the service.

Finally, and as time allows, various components of the system may be proved correct, first by hand and then using formal verification tools.

Throughout the process, the researcher will be involved in comparing the tool to other technologies, in developing demonstrations and benchmarks, and in writing up the results for publication in technical conferences and journals.

Teaching responsibilities will include teaching Masters level courses. Such courses may include courses such as Embedded and Real-Time Systems.

Qualifications

The position requires having a PhD in Computer Science, with a primary focus on Programming Languages, Reachability Analysis, or a closely related topic. Also desirable is experience with modeling and simulation of hybrid systems, language design and implementation, functional programming, reachability analysis, rigorous numerics, web-based graphical user interfaces and 3D graphics, and the development of web-based applications.

Salary

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

Application

Applications should be sent via Halmstad University's recruitment system Varbi (see link on this page). 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) contact information for at least three references.

General Information

We value the qualities that gender balance and diversity bring to our organization. We therefore welcome applicants with different backgrounds, gender, functionality and, not least, life experience.

The working language at Halmstad University is English and knowledge of the Swedish language not required to start working. Also for daily life, English is spoken widely and Sweden has the highest English Proficiency index in the world. Learning to speak Swedish will make it easier to interact with public and private services, to follow local and national issues, to participate in teaching junior students, and to participate in administrative and leadership roles. National Swedish language courses (SFI) are available on campus.

Read more about Halmstad University at http://hh.se/english/discover/discoverhalmstaduniversity.9285.html