Designation/Position- Postdoc Position
University of Southern Denmark, Denmark invites application for Postdoc Position from eligible and interested candidates
About- 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.
Research/Job Area- Mathematics and Computer Science
Location- University of Southern Denmark
Eligibility/Qualification– 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.
Job/Position Description- 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.
How to Apply- 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.
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.
For Contact- For further information please contact Fabrizio Montesi, [email protected].
Last Date for Apply– 29 October 2018