Postdoc Positions at the University of Southern Denmark

by Fabrizio Montesi, Sept. 13, 2022

Postdoctoral positions in the areas of programming languages, logics, and distributed systems at the University of Southern Denmark. Location: main campus, Odense, Denmark.

The Section of Artificial Intelligence, Cybersecurity, and Programming Languages of the Department of Mathematics and Computer Science at the University of Southern Denmark (campus Odense) invites applications for postdoctoral research fellowships in programming languages and distributed systems. The proposed starting date is January 2023, with room for flexibility. The positions have a duration of up to three years. Application deadline: 6 October 2022.

Successful candidates will work on the development of theory and/or tools based on choreographic languages. Possible topics include: new development and testing methods for distributed programming to improve safety and efficiency; or using logical methods to develop sound abstractions of protocols that offer user-friendly explanations of how user data flows on the Internet, with the aim of improving Internet transparency.

Who we are looking for
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 projects are flexible enough to accommodate for candidates with different backgrounds.

Fluency in English is required.

Questions? Curious to learn more about the section and the position? Please feel free to reach out to Fabrizio Montesi ([email protected]) for more information.

About the Department and the University
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.

Apply at:https://www.sdu.dk/en/service/ledige_stillinger/1195426

Deadline: 06 October 2022