Deadline: 29 October 2018
Open to: all qualified candidates (with PhD) regardless of personal background
Benefits: the successful applicant will be employed in accordance with the agreement between the Ministry of Finance and AC (the Danish Confederation of Professional Associations)

Description

The Department of Mathematics and Computer Science at the University of Southern Denmark (Odense Campus) invites applications for a postdoctoral research fellowship in the area of Concurrency and Logic. The proposed starting period is December 2018, or as soon as possible thereafter. The position is for an initial duration of two years, with the possibility of extension. The total duration of a postdoctoral fellowship in Denmark cannot exceed four years.

In the Concurrency and Logic group, we develop language-based models and tools to improve the correctness and productivity of programming concurrent systems. We seek an ambitious candidate with a strong background in at least one of the following areas:

• Design and implementation of programming languages;
• Microservices;
• Concurrency theory, in particular choreographies and session types;
• Quantitative models for concurrency.

Experience in developing and/or applying software tools based on formal methods is a plus.

The applicant is expected to participate in the teaching and supervision activities within the department.

Benefits

The successful applicant will be employed in accordance with the agreement between the Ministry of Finance and AC (the Danish Confederation of Professional Associations).

How to apply?

In order to apply please click here.

For further information please visit the official webpage.