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 possibility of extension. The total duration of a postdoctoral fellowship in Denmark cannot exceed four years. Application deadline: 29 October 2018.
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
• 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.
For further information please contact Fabrizio Montesi, firstname.lastname@example.org.
Application, salary etc.
The successful applicant will be employed in accordance with the agreement between the Ministry of Finance and AC (the Danish Confederation of Professional Associations).
The application must include the following:
• A curriculum vitae including information on previous employment.
• A full list of publications stating the scientific publications on which the applicant wishes to rely.
Incomplete applications and applications received after the deadline will neither be considered nor evaluated.
To qualify you must have passed a PhD or equivalent. Applications will be assessed by an expert assessor/committee. Applicants will be informed of their assessment by the university.
The University wishes our staff to reflect the diversity of society and thus welcomes applications from all qualified candidates regardless of personal background.
Applications must be submitted electronically using the link "Apply online". Attached files must be in Adobe PDF or Word format. Each box can only contain a single file of max. 10 Mb. We strongly recommend that you read How to apply before you apply.
Further information for international applicants about entering and working in Denmark.