Academic Jobs

Postdoc Positions in Programming Languages and Distributed Systems at Uni of Southern Denmark, 2022


Updated on:

Postdoc Positions in Programming Languages and Distributed Systems is available for doctoral degree candidates in computer science, programming languages at the Department of Mathematics and Computer Science, University of Southern Denmark, 2022


Save 0

AdvertisementSubscribe to enjoy the ad-free content

General Info

Position: Postdoc
No. of Positions: 1
Research Field: ,
Joining Date: Jan 2023
Contract Period: 3 Years
Salary: Subject to norms

Department of Mathematics and Computer Science
University of Southern Denmark, Campusvej, Odense Municipality, Denmark

AdvertisementSubscribe to enjoy the ad-free content

Qualification Details

We are looking for people who enjoy programming languages, teamwork, long-term visions, and bringing their own input to group work. We have a broad team working on choreographic languages from different perspectives, and we are interested in candidates who can either bring new angles to our research or strengthen our competences.

The ideal candidate has a PhD in Computer Science with experience in one (or more) of the following areas:

  • Programming languages (theory or implementation).
  • Concurrent and distributed systems.
  • Formal methods.
  • The project is flexible enough to accommodate for candidates with different backgrounds.

Fluency in English is required.

Responsibilities/Job Description

Successful candidates will work under the supervision of Professor Fabrizio Montesi on the development of theory and tools based on choreographic languages for the effective development, testing, and verification of concurrent and distributed systems.

How to Apply?

Application Method: Online Application
Ref. No.: -

Application Procedure

Applications should include the following documents.

  • Application letter.
  • Curriculum Vitae (CV).
  • List of publications (the candidate is welcome to accompany each publication with a line explaining their contribution).
  • PhD diploma, or statement from main supervisor on the expected completion of the PhD.
  • MSc diploma.
  • A recommendation letter, if available (otherwise, please insert contacts for recommendations in the CV).

About the Department/Section/Group

The Section of Artificial Intelligence, Cybersecurity, and Programming Languages is part of the Department of Mathematics and Computer Science. We are an inclusive and international working environment with state-of-the-art facilities and strong traditions for collaboration across sections, departments and faculties, and with other educational institutions, municipalities, and industries. The degrees offered by the department include BSc, MSc, and PhD degrees in computer science, and an MSc degree in data science.

The University of Southern Denmark was founded in 1966 and now has more than 27,000 students, almost 20% of whom are from abroad. It has 3,800+ employees, and 115 different study programmes in the fields of the humanities, social sciences, natural sciences, health sciences, and engineering. Its main campus is located in Odense, the third largest city in Denmark. Odense provides family-friendly living conditions, with the perfect combination of a historic city centre with an urban and vibrant feel and yet close proximity to beaches and recreational areas. Its location on the island of Funen is ideal with easy access to the larger cities and airports in Aarhus and Copenhagen.

About the Employer: University of Southern Denmark (SDU)

Note or Other details

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.

AdvertisementSubscribe to enjoy the ad-free content

Contact details

Curious to learn more about the section and the position?

Please feel free to reach out to Professor Fabrizio Montesi ([email protected]) for more information.

Advertisement Details: Postdoc Positions in Programming Languages and Distributed Systems

AdvertisementSubscribe to enjoy the ad-free content

Published on: | Last Updated: Aug 27, 2022 | at nViews Career by nViews Career Team