Postdoctoral position (up to two years) in Computer Science with focus in the areas of Programming Languages and Hybrid Systems.

Description
This position is intended to contribute to the research activities of the School of Information Technology (ITE) at Halmstad University. The position starts from April 1st, 2018 or as soon as possible thereafter

Duties
This is a one year position renewable to two positions based on mutual agreement. Duties will including both research and teaching components.

The research goals for the first year are to 1) survey and classify hybrid systems modeling formalisms with particular attention on correctness and scalability, 2) establish the relation between operational and denotational semantics for a hybrid systems modeling language based on a reachability semantics, 3) investigate extensions to probabilistic hybrid systems, 4) implement the operational semantic in Haskell and Scala (the later being integrated into Acumen), 5) demonstrate the practical utility of such modeling languages in modeling and analyzing large scala cyber-physical languages such as the AstaZero test track, and 6) publish the results of the work. The goals for the second year are to 1) validate the results (guarantees) against real-world data on the AstaZero test track, 2) characterize and improve the scalability characteristics of the implementation, 3) publish the results of the work.

Teaching responsibilities will include teaching Masters level courses. Such courses may include Introduction to Cyber-Physical Systems, 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.

The ideal candidate will have demonstrated working familiarity with operational semantics, denotational semantics, functional programming, domain-specific language design, language implementation, hybrid systems, reachability analysis, and modeling with hybrid continuous/discrete dynamical systems.

Knowledge in the following areas is not required but will be viewed positively: formal verification, type theory, static type systems, program analysis, category theory, probability and measure theory, hazard and safety analysis (for the automotive domain), numerical methods, validated numerics, open source development, algorithm analysis, performance analysis, and formal modeling of distributed systems.

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 reference.

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.

Halmstad is a popular summer destination located on the Swedish west coast. It is situated halfway between two cosmopolitan areas: the Copenhagen-Malmö-Lund area and the Gothenburg area, making it a well-connected, yet a pleasantly calm place to live. Halmstad can be reached by a direct train connection from the Copenhagen Kastrup Airport, as well as other local airports (e.g., Gothenburg Landvetter Airport, Halmstad, and Helsingborg/Ängelholm airports).

Here you can read more about Halmstad University and the City of Halmstad.


Vi undanber oss all direktkontakt med bemannings- och rekryteringsföretag samt försäljare av rekryteringsannonser.

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 2018/9
Contact
  • Walid Taha, Head of department, +46(0)35-167619
Union representative
  • Kristina Hildebrand, Saco-S, 070-7721015
  • Anniqa Lagergren, OFR, 035-167655
Published 01.Feb.2018
Last application date 28.Feb.2018 11:59 PM CET

Tillbaka till lediga jobb